diff --git a/repos/ports/src/noux-pkg/gdb/target.inc b/repos/ports/src/noux-pkg/gdb/target.inc index 71855eb517..93d1985db3 100644 --- a/repos/ports/src/noux-pkg/gdb/target.inc +++ b/repos/ports/src/noux-pkg/gdb/target.inc @@ -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)