summaryrefslogtreecommitdiff
path: root/make
diff options
context:
space:
mode:
authorTuncer Ayaz <tuncer.ayaz@gmail.com>2013-01-11 14:37:14 +0100
committerTuncer Ayaz <tuncer.ayaz@gmail.com>2013-01-12 14:05:09 +0100
commit32b807a4db4822e6c9f47f9f1dfec19eac07f0e1 (patch)
treea55f448766f3113e97a75d23e07368eb1766e325 /make
parent9f461fbaf0be7aba7c0b8b89be1f0b6f1141b7a5 (diff)
downloaderlang-32b807a4db4822e6c9f47f9f1dfec19eac07f0e1.tar.gz
make/fakefop: adapt to make/otp.mk.in changes
Diffstat (limited to 'make')
-rwxr-xr-xmake/fakefop8
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