diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/autobuild.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index 55e4449a477..6fcdcd45d0a 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -44,7 +44,7 @@ tasks = { ("clean", "make clean", "text/plain") ], # We have 'test' before 'install' because, 'test' should work without 'install' - "samba" : [ ("configure", "./configure.developer --picky-developer ${PREFIX} --with-selftest-prefix=./bin/ab", "text/plain"), + "samba" : [ ("configure", "./configure.developer --picky-developer ${PREFIX} --with-selftest-prefix=./bin/ab --with-profiling-data", "text/plain"), ("make", "make -j", "text/plain"), ("test", "make test FAIL_IMMEDIATELY=1", "text/plain"), ("install", "make install", "text/plain"), |