mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
parent
776d7f947f
commit
f1aa137c9d
@ -9,6 +9,9 @@ LIBS += ncurses expat
|
|||||||
|
|
||||||
NOUX_PKG_DIR = $(wildcard $(REP_DIR)/contrib/gdb-*)
|
NOUX_PKG_DIR = $(wildcard $(REP_DIR)/contrib/gdb-*)
|
||||||
|
|
||||||
|
# workaround for problems with makeinfo version 5
|
||||||
|
NOUX_MAKE_ENV += "MAKEINFO=true"
|
||||||
|
|
||||||
NOUX_INSTALL_TARGET = install
|
NOUX_INSTALL_TARGET = install
|
||||||
|
|
||||||
include $(REP_DIR)/mk/noux.mk
|
include $(REP_DIR)/mk/noux.mk
|
||||||
|
@ -509,7 +509,7 @@ $(GDB_BINARIES): build/$(PLATFORM)/gdb/Makefile
|
|||||||
|
|
||||||
$(GDB_INSTALLED_BINARIES): $(GDB_BINARIES)
|
$(GDB_INSTALLED_BINARIES): $(GDB_BINARIES)
|
||||||
$(ECHO) "$(BRIGHT_COL)installing gdb...$(DEFAULT_COL)"
|
$(ECHO) "$(BRIGHT_COL)installing gdb...$(DEFAULT_COL)"
|
||||||
$(VERBOSE)$(MAKE) -C build/$(PLATFORM)/gdb install
|
$(VERBOSE)$(MAKE) -C build/$(PLATFORM)/gdb install MAKEINFO=true
|
||||||
|
|
||||||
#
|
#
|
||||||
# Clean rules
|
# Clean rules
|
||||||
|
Loading…
Reference in New Issue
Block a user