install-strip

   1 #!/bin/sh -e
   2
   3 root="$(realpath -- $(dirname "$0"))"
   4 cd "$root"
   5 ./install
   6 . ./config
   7 for cmd in `cat bin/cmd.list` ; do
   8     strip "$BINDIR"/$cmd
   9 done