diff options
| author | Tuncer Ayaz <[email protected]> | 2013-01-11 14:37:14 +0100 |
|---|---|---|
| committer | Tuncer Ayaz <[email protected]> | 2013-01-12 14:05:09 +0100 |
| commit | 32b807a4db4822e6c9f47f9f1dfec19eac07f0e1 (patch) | |
| tree | a55f448766f3113e97a75d23e07368eb1766e325 /make/fakefop | |
| parent | 9f461fbaf0be7aba7c0b8b89be1f0b6f1141b7a5 (diff) | |
| download | otp-32b807a4db4822e6c9f47f9f1dfec19eac07f0e1.tar.gz otp-32b807a4db4822e6c9f47f9f1dfec19eac07f0e1.tar.bz2 otp-32b807a4db4822e6c9f47f9f1dfec19eac07f0e1.zip | |
make/fakefop: adapt to make/otp.mk.in changes
Diffstat (limited to 'make/fakefop')
| -rwxr-xr-x | make/fakefop | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/make/fakefop b/make/fakefop index bbe81ef3b1..46c031034e 100755 --- a/make/fakefop +++ b/make/fakefop @@ -22,14 +22,14 @@ # Author: Tuncer Ayaz # -if [ $# -lt 4 ] +if [ $# -lt 6 ] then - echo "Usage: fakefop -fo IGNORED -pdf OUTFILE" + echo "Usage: fakefop -c IGNORED -fo IGNORED -pdf OUTFILE" exit 1 fi -OUTFILE=$4 -NAME=`basename $4 .pdf` +OUTFILE=$6 +NAME=`basename $6 .pdf` echo Write $OUTFILE cat > $OUTFILE <<EndOfFile |