mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-09 04:15:52 +00:00
parent
65d9607ece
commit
7a6d9f8530
@ -16,6 +16,4 @@ LIBS += stdcxx ncurses expat gmp
|
||||
# workaround for problems with makeinfo version 5
|
||||
MAKE_ENV += "MAKEINFO=true"
|
||||
|
||||
INSTALL_TARGET = install
|
||||
|
||||
include $(call select_from_repositories,mk/noux.mk)
|
||||
|
Loading…
x
Reference in New Issue
Block a user