diff options
Diffstat (limited to 'script')
-rwxr-xr-x | script/autobuild.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index 65b89d1b40a..5fff092d37a 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -285,6 +285,9 @@ tasks = { ("make", "make", "text/plain"), ("install", "make install", "text/plain"), ("test", "make test", "text/plain"), + ("configure-no-lmdb", "./configure --enable-developer --without-ldb-lmdb -C ${PREFIX} ${EXTRA_PYTHON}", "text/plain"), + ("make-no-lmdb", "make", "text/plain"), + ("install-no-lmdb", "make install", "text/plain"), ("check-clean-tree", "../../script/clean-source-tree.sh", "text/plain"), ("distcheck", "make distcheck", "text/plain"), ("clean", "make clean", "text/plain") ], |