diff options
| author | Jim Meyering <jim@meyering.net> | 2005-07-01 19:54:48 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 2005-07-01 19:54:48 +0000 |
| commit | 05d541b6224e0125693ea34a4448ed75cef2fe1b (patch) | |
| tree | db90f8bf32cd9aa5d3d6dc5006c50cc8773d2e2e /build-aux/missing | |
| parent | 00fdbcc4af3be82fceb4f1d3a511c043ba2da384 (diff) | |
| download | coreutils-05d541b6224e0125693ea34a4448ed75cef2fe1b.tar.xz | |
update from gnulib
Diffstat (limited to 'build-aux/missing')
| -rw-r--r-- | build-aux/missing | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build-aux/missing b/build-aux/missing index 4228a2046..894e786e1 100644 --- a/build-aux/missing +++ b/build-aux/missing @@ -1,7 +1,7 @@ #! /bin/sh # Common stub for a few missing GNU programs while installing. -scriptversion=2005-05-14.22 +scriptversion=2005-06-08.21 # Copyright (C) 1996, 1997, 1999, 2000, 2002, 2003, 2004, 2005 # Free Software Foundation, Inc. @@ -297,6 +297,9 @@ WARNING: \`$1' is $msg. You should only need it if # ... 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 + # If the file does not exist, the user really needs makeinfo; + # let's fail without touching anything. + test -f $file || exit 1 touch $file ;; |