# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1208449021 18000
# Node ID 1ff989975d2c07d8facdca4fd6c8ad462cc0a11c
# Parent  65b7f7a6ddf4abf7969c7b58c71035ed6a8a91de
Add ability to set BUILD_SHORT=headers to include header files without building
gcc/binutils (useful with tinycc).

diff -r 65b7f7a6ddf4 -r 1ff989975d2c mini-native.sh
--- a/mini-native.sh	Sun Apr 13 22:16:55 2008 -0500
+++ b/mini-native.sh	Thu Apr 17 11:17:01 2008 -0500
@@ -73,7 +73,7 @@
 
 if [ ! -z "${BUILD_SHORT}" ]
 then
-  rm -rf "${TOOLS}"/include
+  [ "$BUILD_SHORT" != "headers" ] && rm -rf "${TOOLS}"/include
 else
 
 # Build and install native binutils