From 02174aa7906037e4f3534b2196bddbfddab562ca Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Thu, 7 Mar 2002 15:22:10 +0000 Subject: [PATCH] Avoid needless error. --- ChangeLog | 3 +++ missing | 4 +++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index daa9ccbab..6d822ac79 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,9 @@ 2002-03-07 Bruno Haible * Makefile.am (MAKEINFO): New variable. + * missing (makeinfo): Don't call touch without arguments if the source + texinfo file doesn't contain a @setfilename command. + Reported by Miroslaw Dobrzanski-Neumann . 2002-02-15 Bruno Haible diff --git a/missing b/missing index 0a7fb5a2a..41956ee61 100755 --- a/missing +++ b/missing @@ -226,7 +226,9 @@ WARNING: \`$1' is missing on your system. You should only need it if file=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'` file=`sed -n '/^@setfilename/ { s/.* \([^ ]*\) *$/\1/; p; q; }' $file` fi - touch $file + if test -n "$file"; then + touch $file + fi ;; tar)