source: git/warn_not_found.sh @ 08a955

spielwiese
Last change on this file since 08a955 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
Line 
1#! /bin/sh
2# This script emulates some programs so that make does not fail
3#
4
5echo "***Warning: Program '$1' not found. Make might be incomplete or fail."
6
7case $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;;
20esac
21
Note: See TracBrowser for help on using the repository browser.