equal
deleted
inserted
replaced
|
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 |