From a59d6b18664cf4a4a6125c2f2c07f58e81875b01 Mon Sep 17 00:00:00 2001 From: Sascha Wildner Date: Sat, 12 Sep 2015 01:15:01 +0200 Subject: [PATCH] Remove some additional files via 'make upgrade'. --- Makefile_upgrade.inc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile_upgrade.inc b/Makefile_upgrade.inc index f5d27eaddd..f10ccc66de 100644 --- a/Makefile_upgrade.inc +++ b/Makefile_upgrade.inc @@ -2214,9 +2214,12 @@ TO_REMOVE+=/usr/share/man/man9/bios32.9.gz TO_REMOVE+=/usr/share/man/man9/bios32_SDlookup.9.gz TO_REMOVE+=/boot/kernel/est.ko TO_REMOVE+=/usr/share/man/man4/est.4.gz +TO_REMOVE+=/usr/bin/compile_et TO_REMOVE+=/usr/include/com_err.h +TO_REMOVE+=/usr/include/com_right.h TO_REMOVE+=/usr/lib/libcom_err.a TO_REMOVE+=/usr/lib/profile/libcom_err.a +TO_REMOVE+=/usr/share/man/man1/compile_et.1.gz TO_REMOVE+=/usr/share/man/man3/com_err.3.gz TO_REMOVE+=/usr/share/man/man7/com_err.7.gz -- 2.41.0