]> Zhao Yanbai Git Server - minix.git/commitdiff
Added binary (compiler) size adjustment script
authorBen Gras <ben@minix3.org>
Mon, 29 Aug 2005 19:38:39 +0000 (19:38 +0000)
committerBen Gras <ben@minix3.org>
Mon, 29 Aug 2005 19:38:39 +0000 (19:38 +0000)
etc/Makefile
etc/binary_sizes [new file with mode: 0644]
etc/chmem.sh [new file with mode: 0755]

index e8371fa1546b1e689efe2dc27d413f2d9cde0fcd..ef36bca8174d0d5beea4ec1e9a997511766b28d5 100644 (file)
@@ -22,3 +22,7 @@ install::
        cd /dev && sh /usr/src/commands/scripts/MAKEDEV.sh std  2>/dev/null
        @echo "Making user homedirs.."
        for u in bin ast root; do (cd ast && tar cf - .[a-z]* ) | (cd ~$$u && tar xf - ); chown -R $$u ~$$u; done
+
+postinstall:
+       sh chmem.sh binary_sizes
+
diff --git a/etc/binary_sizes b/etc/binary_sizes
new file mode 100644 (file)
index 0000000..d8002ae
--- /dev/null
@@ -0,0 +1,9 @@
+/usr/lib/i386/as 53721
+/usr/lib/i386/cg 86625
+/usr/lib/cpp.ansi 200000
+/usr/lib/cv 82934
+/usr/lib/em_cemcom.ansi 958660
+/usr/lib/em_led 1608955
+/usr/lib/em_m2 171667
+/usr/lib/em_opt 175934
+/usr/lib/em_encode 20000
diff --git a/etc/chmem.sh b/etc/chmem.sh
new file mode 100755 (executable)
index 0000000..56176d8
--- /dev/null
@@ -0,0 +1,4 @@
+#!/bin/sh
+cat "$1" | while read line
+do     awk '{ print "chmem =" $2 " " $1 }'
+done | /bin/sh