From: khooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 10 Feb 2011 01:21:54 +0000 (+0000)
Subject: Fix a typo in the help string.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=73af8e2d5d0d9810d907e79e32ffd2efda2675e3;p=francis%2Fstp.git

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 0106dbf..982ff6a 100755
--- 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