one more thing: strip executables

tildearrow · Dec 7, 2018 · 81f78e5 · 81f78e5
1 parent 957173e
commit 81f78e5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/installer/makeinstall b/src/installer/makeinstall
@@ -10,6 +10,9 @@ make -j4 || exit 1
 make DESTDIR=copy install || exit 1
 cd copy/opt || exit 1
 cp -v ../../../src/installer/uninstall input-modifier || exit 1
+echo "stripping program..."
+strip -s input-modifier/bin/imodd || exit 1
+strip -s input-modifier/bin/imod-cli || exit 1
 tar -cv --owner=root --group=root -f ../../../rel/installdata.tar input-modifier || exit 1
 cd ../../.. || exit 1
 cp -v src/installer/install rel/ || exit 1