From: Ben Gras Date: Mon, 29 Aug 2005 19:38:39 +0000 (+0000) Subject: Added binary (compiler) size adjustment script X-Git-Tag: v3.1.0~250 X-Git-Url: http://zhaoyanbai.com/repos/dnssec-revoke.html?a=commitdiff_plain;h=92cb06d0e9d98342593d4c1959c7c7e019d5afbf;p=minix.git Added binary (compiler) size adjustment script --- diff --git a/etc/Makefile b/etc/Makefile index e8371fa15..ef36bca81 100644 --- a/etc/Makefile +++ b/etc/Makefile @@ -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 index 000000000..d8002aec1 --- /dev/null +++ b/etc/binary_sizes @@ -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 index 000000000..56176d81d --- /dev/null +++ b/etc/chmem.sh @@ -0,0 +1,4 @@ +#!/bin/sh +cat "$1" | while read line +do awk '{ print "chmem =" $2 " " $1 }' +done | /bin/sh