fieker-DuValspielwiese
Last change
on this file since 2b43ac was
9ead31,
checked in by Olaf Bachmann <obachman@…>, 24 years ago
|
* chcek for ptograms
git-svn-id: file:///usr/local/Singular/svn/trunk@3971 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100755
|
File size:
499 bytes
|
Rev | Line | |
---|
[9ead31] | 1 | #! /bin/sh |
---|
| 2 | # This script emulates some programs so that make does not fail |
---|
| 3 | # |
---|
| 4 | |
---|
| 5 | echo "***Warning: Program '$1' not found. Make might be incomplete or fail." |
---|
| 6 | |
---|
| 7 | case $1 in |
---|
| 8 | gzip) |
---|
| 9 | echo "cp $2 $2.gz"; |
---|
| 10 | cp $2 $2.gz;; |
---|
| 11 | gunzip) |
---|
| 12 | filename=`echo $2 | sed -e "s/\.gz//"`; |
---|
| 13 | echo "cp $2 $filename"; |
---|
| 14 | cp $2 $filename;; |
---|
| 15 | makeinfo) |
---|
| 16 | dest=`echo $* | sed -e 's/.*-o *\([^ ]*\).*/\1/'`; |
---|
| 17 | src=`echo $* | sed -e 's/.* \([^ ]*\)/\1/'`; |
---|
| 18 | echo "cp $src $dest"; |
---|
| 19 | cp $src $dest;; |
---|
| 20 | esac |
---|
| 21 | |
---|
Note: See
TracBrowser
for help on using the repository browser.