source: git/Singular/make_alllib.sh @ d828d63

spielwiese
Last change on this file since d828d63 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.