acl2/acl2 — pull request #295 by ragerdl (2014-10-26 17:57:17+00:00)
Title: Updating build-single.sh to use -j3 again

Should be viable now that we've fixed the memory problem.

I should make this a parameter so I don't have to mod the script everytime....