source: git/warn_not_found.sh @ 670e639

spielwiese
Last change on this file since 670e639 was 75f460, checked in by Hans Schoenemann <hannes@…>, 9 years ago
format
  • Property mode set to 100755
File size: 490 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.