From 7a6d9f8530d2759d48d528b954e1cd4217acc13d Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Mon, 7 Aug 2023 08:45:01 +0200 Subject: [PATCH] ports: install GDB with `install-strip` Fixes #4979 --- repos/ports/src/noux-pkg/gdb/target.inc | 2 -- 1 file changed, 2 deletions(-) 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)