source:
git/Singular/make_alllib.sh
@
aee346d
Last change on this file since aee346d was b773c0, checked in by , 11 years ago | |
---|---|
|
|
File size: 254 bytes |
Rev | Line | |
---|---|---|
[e42f2e] | 1 | #!/bin/sh |
[b773c0] | 2 | #C="$1" |
3 | #C=`readlink -f "$C"` | |
4 | #C=`dirname "$C"` | |
5 | #C=`ls -d1 "$C"` | |
6 | ||
7 | cp $1 all.lib.n | |
8 | chmod u+rw all.lib.n | |
[e42f2e] | 9 | shift |
10 | for i in $* | |
11 | do | |
[b773c0] | 12 | echo "LIB \"$i\";" >> all.lib.n |
[e42f2e] | 13 | done |
[b773c0] | 14 | # [ ! -e "$i" ] && (cp -nv "$C/$i" .) |
15 | chmod u-w all.lib.n | |
16 | mv -f all.lib.n all.lib |
Note: See TracBrowser
for help on using the repository browser.