diff options
| -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. |