OSDN Git Service

* 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)
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


No differences found