1
echo 'main="$1"; shift'
2
echo 'rm -f "$main"'
3
echo 'ar cr "$main" ${1+"$@"}'
4
5
case "$1" in
6
sunos-5.*) ;;
7
unix_sv*) ;;
8
irix64-*) ;;
9
irix-*) ;;
10
dgux-*) ;;
11
hp-ux-*) ;;
12
sco*) ;;
13
*)
14
echo 'ranlib "$main"'
15
;;
16
esac