diff mini-native.sh @ 485:b0438691e9e1

Move color selection into ./config. (The default colors don't look great on a white background.)
author Rob Landley <rob@landley.net>
date Fri, 14 Nov 2008 19:20:24 -0600
parents 4b0507445452
children 3cebbc0b0723
line wrap: on
line diff
--- a/mini-native.sh	Fri Nov 14 16:01:24 2008 -0600
+++ b/mini-native.sh	Fri Nov 14 19:20:24 2008 -0600
@@ -5,7 +5,8 @@
 source include.sh
 
 # Purple.  And why not?
-echo -e "\e[35m"
+echo -e "$NATIVE_COLOR"
+echo "=== Building minimal native development environment"
 
 rm -rf "${NATIVE}"