diff options
Diffstat (limited to 'script')
-rwxr-xr-x | script/autobuild.py | 2 | ||||
-rwxr-xr-x | script/find_python.sh | 9 |
2 files changed, 11 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"), diff --git a/script/find_python.sh b/script/find_python.sh new file mode 100755 index 00000000000..e9afdbda999 --- /dev/null +++ b/script/find_python.sh @@ -0,0 +1,9 @@ +#!/bin/sh + +if [ $# -lt 1 ]; then + echo "$0: <installdir>" + exit 1; +fi + +installdir=$1 +exit `find ${installdir} -name \*.py | wc -l` |