*** empty log message ***

diff --git a/commands/scripts/binsizes.sh b/commands/scripts/binsizes.sh
index d0467c0f32c0244de577bacd749639b0e332daeb..bc6716ddc23e6eaf3cdf6aed5d12f2fab1fc61b1 100644 (file)
--- a/commands/scripts/binsizes.sh
+++ b/commands/scripts/binsizes.sh
@@ -10,7 +10,8 @@ fi
 if [ "$1" = big ]
 then t=$t.big
 fi
-chmem =350000 /usr/lib/* /usr/lib/i386/* /usr/lib/ego/* >/dev/null 2>&1
+chmem =250000 /usr/lib/* /usr/lib/i386/* >/dev/null 2>&1
+chmem =600000 /usr/lib/ego/*  >/dev/null 2>&1
 if [ -f $t ]
 then   cat "$t" | while read line
        do      awk '{ print "chmem =" $2 " " $1 " >/dev/null 2>&1 "}'