diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-11-08 18:55:24 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:52 +0200 |
| commit | d5208da82d0debc48b6654e9a1da6456600e5ba0 (patch) | |
| tree | 890df8e607a4a6cdfc15a7ca2f6606fe874fea77 /Makefrag.am | |
| parent | 61e1f460aa1a9ecf4efc2fa245a5646041507db2 (diff) | |
| download | gnumach-d5208da82d0debc48b6654e9a1da6456600e5ba0.tar.gz gnumach-d5208da82d0debc48b6654e9a1da6456600e5ba0.tar.bz2 gnumach-d5208da82d0debc48b6654e9a1da6456600e5ba0.zip | |
2006-11-08 Thomas Schwinge <tschwinge@gnu.org>
* Makefrag.am (gnumach.msgids): Remove temporary files.
Diffstat (limited to 'Makefrag.am')
| -rw-r--r-- | Makefrag.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefrag.am b/Makefrag.am index 30005597..02cf8c3c 100644 --- a/Makefrag.am +++ b/Makefrag.am @@ -328,7 +328,13 @@ gnumach.msgids: $(nodist_lib_dep_tr_for_defs_a_SOURCES) for f in $(nodist_lib_dep_tr_for_defs_a_SOURCES); do \ f=`expr "$$f" : '\(.*\)\.defs\.c'`.msgids && \ $(MAKE) $(AM_MAKEFLAGS) "$$f" && \ - cat "$$f" >> $@ || { rm -f $@; false; } \ + cat "$$f" >> $@; \ + r=$$?; \ + rm -f "$$f"; \ + if ( exit "$$r" ); then :; else \ + rm -vf $@; \ + exit "$$r"; \ + fi; \ done # `exec_' prefix, so that we don't try to build that file during when running # `make install-data', as it may fail there, but isn't needed there either. |