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
Line 
1#!/bin/sh
2cp $1 LIB/all.lib.n
3chmod u+rw LIB/all.lib.n
4shift
5for i in $*
6do
7        echo "LIB \"$i\";" >>LIB/all.lib.n
8done
9chmod u-w LIB/all.lib.n
10mv -f LIB/all.lib.n LIB/all.lib
Note: See TracBrowser for help on using the repository browser.