1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index b1d38cb..689a5b5 100755
--- a/configure
+++ b/configure
@@ -535,12 +535,12 @@ if test -n "$vpathd" ; then
 fi
 
 if $static ; then
-  echo "STATIC_LIBS := libskarnet.a"
+  echo "STATIC_LIBS := libskarnet.a.xyzzy"
 else
   echo "STATIC_LIBS :="
 fi
 if $shared ; then
-  echo "SHARED_LIBS := libskarnet.so"
+  echo "SHARED_LIBS := libskarnet.so.xyzzy"
 else
   echo "SHARED_LIBS :="
 fi