]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Exclude main/main.o from libstp.a.
authorsmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 19 Mar 2010 02:22:03 +0000 (02:22 +0000)
committersmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 19 Mar 2010 02:22:03 +0000 (02:22 +0000)
commit19273c951d91b5aee3f137c31dced9d5b3a67e22
treeb6254843c4959fb63ab8f60ec7745ea626b6d7a1
parent628c466ef99fcdd94724b731fe54750b02c34961
Exclude main/main.o from libstp.a.

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