summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbuild15
1 files changed, 15 insertions, 0 deletions
diff --git a/build b/build
index 2a40656..99e8736 100755
--- a/build
+++ b/build
@@ -4,3 +4,18 @@ include ../source.mk
nop:
@:
+
+configure:
+ oh-autoconfigure -B obj -- \
+ --enable-tui \
+ --disable-gdbtk \
+ --with-system-readline \
+ --with-expat \
+ --without-python \
+ --with-system-gdbinit=/etc/gdb/gdbinit
+ touch $@
+
+build: configure
+ oh-autobuild -B obj
+ oh-autobuild -B obj -T check-gdb
+ touch $@