diff options
| author | Jannis Hoffmann <jannis@fehcom.de> | 2024-07-09 11:44:11 +0200 |
|---|---|---|
| committer | Jannis Hoffmann <jannis@fehcom.de> | 2024-07-09 11:44:11 +0200 |
| commit | f1b71c9fe7dbb4886588a036399cf5ebe16b7c47 (patch) | |
| tree | e07786aa479c9fb6ee3e537078470aaab5454f80 /src/make-makelib.sh | |
| parent | a293489ee83c8b05d845a162dc2a4de026f3775d (diff) | |
removed top level directory
Diffstat (limited to 'src/make-makelib.sh')
| -rwxr-xr-x | src/make-makelib.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/make-makelib.sh b/src/make-makelib.sh new file mode 100755 index 0000000..d6b7c8c --- /dev/null +++ b/src/make-makelib.sh @@ -0,0 +1,16 @@ +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 |