]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Fix a typo in the help string.
authorkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 10 Feb 2011 01:21:54 +0000 (01:21 +0000)
committerkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 10 Feb 2011 01:21:54 +0000 (01:21 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1135 e59a4935-1847-0410-ae03-e826735625c1

scripts/configure

index 0106dbff9bb28336bc7b17c2360cd723f2daedfc..982ff6a17eab7c4b6c140ec2db16f1fc0b38a576 100755 (executable)
@@ -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