From 99efcb59ee538c876b7966d3e40c2ea22e0a6b20 Mon Sep 17 00:00:00 2001
From: Andreas Schwab <schwab@linux-m68k.org>
Date: Thu, 7 Jul 2005 13:11:16 +0000
Subject: [PATCH] * observer.sh: Use different temporary file name depending on
 mode of operation to avoid clash during parallel build.

---
 gdb/ChangeLog   | 5 +++++
 gdb/observer.sh | 6 +++++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 30352b501e..49e4c889bc 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2005-07-07  Andreas Schwab  <schwab@suse.de>
+
+	* observer.sh: Use different temporary file name depending on mode
+	of operation to avoid clash during parallel build.
+
 2005-07-06  Bob Rossi  <bob@brasko.net>
 
 	* fork-child.c (fork-inferior): Use accessor function for
diff --git a/gdb/observer.sh b/gdb/observer.sh
index 4c235ea183..af699651d9 100755
--- a/gdb/observer.sh
+++ b/gdb/observer.sh
@@ -9,7 +9,11 @@ fi
 lang=$1 ; shift
 texi=$1 ; shift
 o=$1
-otmp="`echo $1 | sed -e 's,\.[^.]*$,,'`.tmp"; shift
+case $lang in
+  h) tmp=htmp ;;
+  inc) tmp=itmp ;;
+esac
+otmp="`echo $1 | sed -e 's,\.[^.]*$,,'`.$tmp"; shift
 echo "Creating ${otmp}" 1>&2
 rm -f ${otmp}