* observer.sh: Use different temporary file name depending on mode
authorAndreas Schwab <schwab@linux-m68k.org>
Thu, 7 Jul 2005 13:11:16 +0000 (13:11 +0000)
committerAndreas Schwab <schwab@linux-m68k.org>
Thu, 7 Jul 2005 13:11:16 +0000 (13:11 +0000)
of operation to avoid clash during parallel build.

gdb/ChangeLog
gdb/observer.sh

index 30352b5..49e4c88 100644 (file)
@@ -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
index 4c235ea..af69965 100755 (executable)
@@ -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}