diff options
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rwxr-xr-x | gdb/observer.sh | 6 |
2 files changed, 10 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 30352b5..49e4c88 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 4c235ea..af69965 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} |