https://github.com/Singular/Sources
Tip revision: be77cf1dd000fb79a2c712ff01d5455661826482 authored by Hans Schoenemann on 19 November 2014, 13:06:05 UTC
chg: changes from spielwiese
chg: changes from spielwiese
Tip revision: be77cf1
warn_not_found.sh
#! /bin/sh
# This script emulates some programs so that make does not fail
#
echo "***Warning: Program '$1' not found. Make might be incomplete or fail."
case $1 in
gzip)
echo "cp $2 $2.gz";
cp $2 $2.gz;;
gunzip)
filename=`echo $2 | sed -e "s/\.gz//"`;
echo "cp $2 $filename";
cp $2 $filename;;
makeinfo)
dest=`echo $* | sed -e 's/.*-o *\([^ ]*\).*/\1/'`;
src=`echo $* | sed -e 's/.* \([^ ]*\)/\1/'`;
echo "cp $src $dest";
cp $src $dest;;
esac