]> www.ginac.de Git - ginac.git/commitdiff
parallel build uses NCPU jobs instead of NCPU+1
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 29 Sep 2003 17:30:11 +0000 (17:30 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 29 Sep 2003 17:30:11 +0000 (17:30 +0000)

No differences found