diff options
Diffstat (limited to 'script/autobuild.py')
| -rwxr-xr-x | script/autobuild.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index e1aea054e1f..2b27427c949 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -405,6 +405,7 @@ tasks = { ("configure", "./configure.developer --picky-developer ${PREFIX} --with-profiling-data --disable-python --without-ad-dc", "text/plain"), ("make", "make -j", "text/plain"), ("install", "make install", "text/plain"), + ("find-python", "script/find_python.sh ${PREFIX}", "text/plain"), ("test", "make test-nopython", "text/plain"), ("check-clean-tree", "script/clean-source-tree.sh", "text/plain"), ("clean", "make clean", "text/plain"), @@ -439,6 +440,7 @@ tasks = { ("configure", "PYTHON=python2 ./configure.developer --picky-developer ${PREFIX} --with-profiling-data --disable-python --without-ad-dc", "text/plain"), ("make", "PYTHON=python2 make -j", "text/plain"), ("install", "PYTHON=python2 make install", "text/plain"), + ("find-python", "script/find_python.sh ${PREFIX}", "text/plain"), ("test", "make test-nopython", "text/plain"), ("check-clean-tree", "script/clean-source-tree.sh", "text/plain"), ("clean", "PYTHON=python2 make clean", "text/plain"), |