source: git/Singular/make_alllib.sh @ 47367fd

spielwiese
Last change on this file since 47367fd was 82a5b2, checked in by Oleksandr Motsak <motsak@…>, 12 years ago
fix mv' overwrite questioning while generating LIB/all.lib
  • Property mode set to 100755
File size: 173 bytes
RevLine 
[e42f2e]1#!/bin/sh
2cp $1 LIB/all.lib.n
[ff7e14a]3chmod u+rw LIB/all.lib.n
[e42f2e]4shift
5for i in $*
6do
[eb3a3ce]7        echo "LIB \"$i\";" >>LIB/all.lib.n
[e42f2e]8done
[ff7e14a]9chmod u-w LIB/all.lib.n
[82a5b2]10mv -f LIB/all.lib.n LIB/all.lib
Note: See TracBrowser for help on using the repository browser.