1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index 3edb97d984..1dd8a6adb2 100755
--- a/configure
+++ b/configure
@@ -2037,6 +2037,8 @@ fi
 
 
 
+
+
 if test "`(cd $srcdir; pwd)`" = "`pwd`"; then
   config_makefile=
 else
@@ -2223,6 +2225,7 @@ s%@profile@%$profile%g
 s%@omitfp@%$omitfp%g
 s%@bounded@%$bounded%g
 s%@DEFINES@%$DEFINES%g
+s%@ASFLAGS_SO@%$ASFLAGS_SO%g
 s%@VERSION@%$VERSION%g
 
 CEOF