source: git/Singular/make_alllib.sh @ b14855

spielwiese
Last change on this file since b14855 was eb3a3ce, checked in by Hans Schönemann <hannes@…>, 17 years ago
*hannes; syntax fix git-svn-id: file:///usr/local/Singular/svn/trunk@9657 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100755
File size: 121 bytes
Line 
1#!/bin/sh
2cp $1 LIB/all.lib.n
3shift
4for i in $*
5do
6        echo "LIB \"$i\";" >>LIB/all.lib.n
7done
8mv LIB/all.lib.n LIB/all.lib
Note: See TracBrowser for help on using the repository browser.