summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2006-11-08 18:55:24 +0000
committerThomas Schwinge <tschwinge@gnu.org>2009-06-18 00:26:52 +0200
commitd5208da82d0debc48b6654e9a1da6456600e5ba0 (patch)
tree890df8e607a4a6cdfc15a7ca2f6606fe874fea77
parent61e1f460aa1a9ecf4efc2fa245a5646041507db2 (diff)
2006-11-08 Thomas Schwinge <tschwinge@gnu.org>
* Makefrag.am (gnumach.msgids): Remove temporary files.
-rw-r--r--ChangeLog4
-rw-r--r--Makefrag.am8
2 files changed, 11 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index 8bfff0d..eeb594b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.