summaryrefslogtreecommitdiff
path: root/missing
diff options
context:
space:
mode:
authorRoberto Bagnara <bagnara@cs.unipr.it>2002-06-15 14:05:50 +0000
committerRoberto Bagnara <bagnara@cs.unipr.it>2002-06-15 14:05:50 +0000
commit933092cb196440d08c5d8fbecf0b77a7f69e2952 (patch)
treeaba39dd9bb307adbc4421b216231b26f9778d65c /missing
parent87ed13bf8b8842f0567d225d8fd127697d5c4b0e (diff)
downloadppl-933092cb196440d08c5d8fbecf0b77a7f69e2952.tar.gz
ppl-933092cb196440d08c5d8fbecf0b77a7f69e2952.tar.bz2
ppl-933092cb196440d08c5d8fbecf0b77a7f69e2952.zip
Updated to the CVS version of libtool.
Diffstat (limited to 'missing')
-rwxr-xr-xmissing4
1 files changed, 2 insertions, 2 deletions
diff --git a/missing b/missing
index 3199d495f..dd583709f 100755
--- a/missing
+++ b/missing
@@ -87,7 +87,7 @@ Supported PROGRAM values:
exit 1
;;
- aclocal)
+ aclocal*)
if test -z "$run" && ($1 --version) > /dev/null 2>&1; then
# We have it, but it failed.
exit 1
@@ -139,7 +139,7 @@ WARNING: \`$1' is missing on your system. You should only need it if
touch $touch_files
;;
- automake)
+ automake*)
if test -z "$run" && ($1 --version) > /dev/null 2>&1; then
# We have it, but it failed.
exit 1