]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
No longer default to -m32, causes too many problems
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 28 Nov 2010 02:53:02 +0000 (02:53 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 28 Nov 2010 02:53:02 +0000 (02:53 +0000)
commitcf73ac1f21d2250769deaae76d8aea8185ba4a37
tree6a3c7d5b5d670c85a89cd8d29963293c047b4bd6
parent8d4a9b77bf2ec860f0afe558571daf7349ae4003
No longer default to -m32, causes too many problems

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