1 files changed, 11 insertions, 2 deletions
diff --git a/configure b/configure
index 2078556..219d6a5 100755
--- a/configure
+++ b/configure
@@ -514,8 +514,17 @@ if test -n "$vpathd" ; then
   echo "vpath lib%.so$vpathd"
 fi
 
-$static || echo "STATIC_LIBS :="
-$shared || echo "SHARED_LIBS :="
+if $static ; then
+  echo "STATIC_LIBS := libskarnet.a"
+else
+  echo "STATIC_LIBS :="
+fi
+if $shared ; then
+  echo "SHARED_LIBS := libskarnet.so"
+else
+  echo "SHARED_LIBS :="
+fi
+
 exec 1>&3 3>&-
 echo "  ... done."