* observer.sh: Use different temporary file name depending on mode

of operation to avoid clash during parallel build.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 30352b501e2cf942d839a79b23d45f074852beee..49e4c889bc9ccf86c1336e3df31c0871cda57419 100644 (file)
--- 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 4c235ea183e1d3aafff3ccb66858c38317657053..af699651d947fa2c4865016c90c7f7def20e90db 100755 (executable)
--- 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}