diff options
-rwxr-xr-x | build | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -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 $@ |