From fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4 Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Wed, 8 Jul 2015 20:46:52 -0400
Subject: Initial commit

---
 unix/rmbin.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 unix/rmbin.sh

(limited to 'unix/rmbin.sh')

diff --git a/unix/rmbin.sh b/unix/rmbin.sh
new file mode 100644
index 00000000..f1aad040
--- /dev/null
+++ b/unix/rmbin.sh
@@ -0,0 +1,7 @@
+# RMBIN -- Shell script to strip the binaries from the HSI.  This is normally
+# done with the HSI bootstrap program 'rmbin', but this script can be used
+# instead if the rmbin executable is not available for some reason.
+#
+#	USAGE:  'sh -x rmbin.sh'.
+
+/bin/rm -f `find . \! -type d -print | grep '\.[aoe]$'`
-- 
cgit