diff options
Diffstat (limited to 'make-makelib.sh')
-rw-r--r-- | make-makelib.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/make-makelib.sh b/make-makelib.sh deleted file mode 100644 index d6b7c8c..0000000 --- a/make-makelib.sh +++ /dev/null @@ -1,16 +0,0 @@ -echo 'main="$1"; shift' -echo 'rm -f "$main"' -echo 'ar cr "$main" ${1+"$@"}' - -case "$1" in -sunos-5.*) ;; -unix_sv*) ;; -irix64-*) ;; -irix-*) ;; -dgux-*) ;; -hp-ux-*) ;; -sco*) ;; -*) - echo 'ranlib "$main"' - ;; -esac |