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