* exec-tool.in: Use an environment variable (private) instead of a
authordj <dj@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 May 2008 19:19:45 +0000 (19:19 +0000)
committerdj <dj@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 May 2008 19:19:45 +0000 (19:19 +0000)
commit5346190fb4317c3ebaa785c8d8e39a749a385267
tree4454ab2ff4676e4a40eee01ad8bfb94fde54037c
parentb31c801f37a067d1f2431e63be542c51521ceef5
* exec-tool.in: Use an environment variable (private) instead of a
file (shared) as a semaphore, so as to not break parallel builds.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136221 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/exec-tool.in