source:
git/Singular/make_alllib.sh
@
667ba1
Last change on this file since 667ba1 was 82a5b2, checked in by , 12 years ago | |
---|---|
|
|
File size: 173 bytes |
Rev | Line | |
---|---|---|
[e42f2e] | 1 | #!/bin/sh |
2 | cp $1 LIB/all.lib.n | |
[ff7e14a] | 3 | chmod u+rw LIB/all.lib.n |
[e42f2e] | 4 | shift |
5 | for i in $* | |
6 | do | |
[eb3a3ce] | 7 | echo "LIB \"$i\";" >>LIB/all.lib.n |
[e42f2e] | 8 | done |
[ff7e14a] | 9 | chmod u-w LIB/all.lib.n |
[82a5b2] | 10 | mv -f LIB/all.lib.n LIB/all.lib |
Note: See TracBrowser
for help on using the repository browser.