# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1204175186 21600
# Node ID e6a201119439e7a16165c61f0240fb8da0d3dbc1
# Parent  358ef8a2708536cd621877c3b57419448d033d18
Tweak from Tony Przygienda that triples the speed of miniconfig creation script.

diff -r 358ef8a27085 -r e6a201119439 sources/toys/miniconfig.sh
--- a/sources/toys/miniconfig.sh	Wed Feb 27 22:32:25 2008 -0600
+++ b/sources/toys/miniconfig.sh	Wed Feb 27 23:06:26 2008 -0600
@@ -35,11 +35,12 @@
   diff -u "$1" .config
 fi
 cp .config .big.config
-cp .config mini.config
+grep -v '^[#$]' .config | grep -v '^$' > mini.config
+#cp .config mini.config
 
 echo "Calculating mini.config..."
 
-LENGTH=`cat $1 | wc -l`
+LENGTH=`cat mini.config | wc -l`
 
 # Loop through all lines in the file 
 I=1