1 files changed, 0 insertions, 3 deletions
diff --git a/configure b/configure
index 1dd8a6a..3edb97d 100755
--- a/configure
+++ b/configure
@@ -2037,8 +2037,6 @@ fi
 
 
 
-
-
 if test "`(cd $srcdir; pwd)`" = "`pwd`"; then
   config_makefile=
 else
@@ -2225,7 +2223,6 @@ 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