Fix a typo in the help string.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1135 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/scripts/configure b/scripts/configure
index 0106dbff9bb28336bc7b17c2360cd723f2daedfc..982ff6a17eab7c4b6c140ec2db16f1fc0b38a576 100755 (executable)
--- a/scripts/configure
+++ b/scripts/configure
@@ -23,7 +23,7 @@ while [ $# -gt 0 ]; do
            echo "   --with-prefix=/prefix/path   Install STP at the specified path"
            echo "   --with-gcc=/path/to/gcc      Use gcc at the specified path"
            echo "   --with-g++=/path/to/g++      Use g++ at the specified path"
-           echo "   --with-pic                   Required to build 64-bit shared libraries."
+           echo "   --with-fpic                  Required to build 64-bit shared libraries."
            echo "$0 failed"
            exit 1;;
     esac