diff mini-native.sh @ 516:f846099333ac

I can see the man pages being potentially useful, but info pages are a complete waste of space.
author Rob Landley <rob@landley.net>
date Tue, 02 Dec 2008 03:00:11 -0600
parents d6182f514567
children 89b2e2c55b28
line wrap: on
line diff
--- a/mini-native.sh	Tue Dec 02 02:13:29 2008 -0600
+++ b/mini-native.sh	Tue Dec 02 03:00:11 2008 -0600
@@ -286,6 +286,10 @@
 
 [ $? -ne 0 ] && dienow
 
+# Delete some unneeded files
+
+rm -rf "${TOOLS}"/{info,libexec/gcc/*/*/install-tools}
+
 # End of NATIVE_TOOLCHAIN
 
 fi