diff --git a/Makefile b/Makefile index 74179b423802ad194c47914035012378b4ac5368..c8658c0115982dc2da52115d264a247704fc54c4 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.157 2006/07/02 00:56:46 mast Exp $ +# $Id: Makefile,v 1.158 2006/07/26 19:14:10 nilsson Exp $ # # Meta Makefile # @@ -274,6 +274,9 @@ undump_modules: run_hilfe: @$(DO_MAKE) "METATARGET=run_hilfe" _make_in_builddir +gdb_hilfe: + @$(DO_MAKE) "METATARGET=gdb_hilfe" _make_in_builddir + source: @$(DO_MAKE) "CONFIGUREARGS=--disable-binary $(CONFIGUREARGS)" \ "OS=source" "LIMITED_TARGETS=yes" "METATARGET=source" _make_in_builddir