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 | |
| parent | 61e1f460aa1a9ecf4efc2fa245a5646041507db2 (diff) | |
2006-11-08 Thomas Schwinge <tschwinge@gnu.org>
* Makefrag.am (gnumach.msgids): Remove temporary files.
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | Makefrag.am | 8 |
2 files changed, 11 insertions, 1 deletions
@@ -1,3 +1,7 @@ +2006-11-08 Thomas Schwinge <tschwinge@gnu.org> + + * Makefrag.am (gnumach.msgids): Remove temporary files. + 2006-11-08 Samuel Thibault <samuel.thibault@ens-lyon.org> [task #5726 --- ``GCC built-in functions''] diff --git a/Makefrag.am b/Makefrag.am index 3000559..02cf8c3 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. |