changeset 510:d6182f514567

A system without development headers doesn't need static libraries either.
author Rob Landley <rob@landley.net>
date Sun, 30 Nov 2008 15:46:48 -0600
parents b4025af91d59
children 8e4b2c131ceb
files mini-native.sh
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mini-native.sh	Sun Nov 30 14:24:24 2008 -0600
+++ b/mini-native.sh	Sun Nov 30 15:46:48 2008 -0600
@@ -114,7 +114,11 @@
 
 if [ -z "$NATIVE_TOOLCHAIN" ]
 then
+    # If we're not installing a compiler, delete the headers, static libs,
+	# and example source code.
+
     rm -rf "${TOOLS}"/include &&
+    rm -rf "${TOOLS}"/lib/*.a &&
     rm -rf "${TOOLS}/src" || dienow
 
 elif [ "$NATIVE_TOOLCHAIN" == "headers" ]