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