chiark / gitweb /
~ian / subdirmk.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81b2907) | patch
generate: Avoid $err_file undefined warning during startup
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Dec 2019 11:02:59 +0000 (11:02 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Dec 2019 12:00:34 +0000 (12:00 +0000)
commit0da92730089cece4ffe90ab8f68601913611b4cf
tree9f38a758668c4bb19eb36d0e3281dffc625f8950tree | snapshot
parent81b2907f353e0ced12c22e31c4598aad6adf5039commit | diff
generate: Avoid $err_file undefined warning during startup

If, for example, one of the input files implied by the command line
arguments is missing, err is called with $err_file not yet set.

Handle this case.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
generate diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.