summaryrefslogtreecommitdiff
path: root/missing
diff options
context:
space:
mode:
authorRoberto Bagnara <bagnara@cs.unipr.it>2005-02-13 07:37:10 +0000
committerRoberto Bagnara <bagnara@cs.unipr.it>2005-02-13 07:37:10 +0000
commit5bbf3302f0b841681b148dcae5c30f027482298b (patch)
treeaa1b315a8ec34f99f8ae7c2c2c4b2eb70acce098 /missing
parent96e66762c36fb1e832ef8173f2c318d7436b111b (diff)
downloadppl-5bbf3302f0b841681b148dcae5c30f027482298b.tar.gz
ppl-5bbf3302f0b841681b148dcae5c30f027482298b.tar.bz2
ppl-5bbf3302f0b841681b148dcae5c30f027482298b.zip
Updated from Automake 1.9.5.
Diffstat (limited to 'missing')
-rwxr-xr-xmissing16
1 files changed, 10 insertions, 6 deletions
diff --git a/missing b/missing
index 64b5f901d..09edd8844 100755
--- a/missing
+++ b/missing
@@ -1,9 +1,9 @@
#! /bin/sh
# Common stub for a few missing GNU programs while installing.
-scriptversion=2004-09-07.08
+scriptversion=2005-02-08.22
-# Copyright (C) 1996, 1997, 1999, 2000, 2002, 2003, 2004
+# Copyright (C) 1996, 1997, 1999, 2000, 2002, 2003, 2004, 2005
# Free Software Foundation, Inc.
# Originally by Fran,cois Pinard <pinard@iro.umontreal.ca>, 1996.
@@ -87,12 +87,12 @@ Supported PROGRAM values:
yacc create \`y.tab.[ch]', if possible, from existing .[ch]
Send bug reports to <bug-automake@gnu.org>."
- exit 0
+ exit $?
;;
-v|--v|--ve|--ver|--vers|--versi|--versio|--version)
echo "missing $scriptversion (GNU Automake)"
- exit 0
+ exit $?
;;
-*)
@@ -288,10 +288,14 @@ WARNING: \`$1' is $msg. You should only need it if
call might also be the consequence of using a buggy \`make' (AIX,
DU, IRIX). You might want to install the \`Texinfo' package or
the \`GNU make' package. Grab either from any GNU archive site."
+ # The file to touch is that specified with -o ...
file=`echo "$*" | sed -n 's/.*-o \([^ ]*\).*/\1/p'`
if test -z "$file"; then
- file=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'`
- file=`sed -n '/^@setfilename/ { s/.* \([^ ]*\) *$/\1/; p; q; }' $file`
+ # ... or it is the one specified with @setfilename ...
+ infile=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'`
+ file=`sed -n '/^@setfilename/ { s/.* \([^ ]*\) *$/\1/; p; q; }' $infile`
+ # ... or it is derived from the source name (dir/f.texi becomes f.info)
+ test -z "$file" && file=`echo "$infile" | sed 's,.*/,,;s,.[^.]*$,,'`.info
fi
touch $file
;;