]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
projects / francis / stp.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b717f73)
minor edits
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 9 Sep 2009 15:08:24 +0000 (15:08 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 9 Sep 2009 15:08:24 +0000 (15:08 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@212 e59a4935-1847-0410-ae03-e826735625c1

clean-install.sh patch | blob | history

diff --git a/clean-install.sh b/clean-install.sh
index 8a19bf5106edb4714554fc5a86548d29210d182d..2b948c4ad5b9b17f4671ea444ff8a2b46d1676a9 100755 (executable)
--- a/clean-install.sh
+++ b/clean-install.sh
@@ -19,5 +19,5 @@ done
 
 ./scripts/configure --with-prefix=$PREFIX
 make clean
-make
+make install
 
STP Constraint Solver.