diff options
-rwxr-xr-x | script/autobuild.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index 9945c66cb6..abca8e80c0 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -34,7 +34,11 @@ tasks = { "samba3" : [ ("autogen", "./autogen.sh", "text/plain"), ("configure", "./configure.developer ${PREFIX}", "text/plain"), ("make basics", "make basics", "text/plain"), - ("make", "make -j 4 everything", "text/plain"), # don't use too many processes + # we split 'make -j 4', 'make bin/smbtorture4' and 'make -j 4 everything' + # because it makes it much easier to find errors. + ("make", "make -j 4", "text/plain"), # don't use too many processes + ("make bin/smbtorture4", "make -j 4 bin/smbtorture4", "text/plain"), + ("make everything", "make -j 4 everything", "text/plain"), ("install", "make install", "text/plain"), ("test", "TDB_NO_FSYNC=1 make test FAIL_IMMEDIATELY=1", "text/plain"), ("check-clean-tree", "../script/clean-source-tree.sh", "text/plain"), |