On Dec 7, 2011, at 2:53 PM, Denis Roy wrote:
>
> On 12/07/2011 08:43 AM, Sven Efftinge wrote:
>>
>>
>> On Dec 7, 2011, at 2:09 PM, Denis Roy wrote:
>>> So we moved /shared/jobs to a locally-mounted filesystem, which is not
>>> shared.
>>
>> So if this is the problem. Why can't you make it shared again?
>>
>
> I don't understand. Is that a trick question? /shared/jobs was shared, and
> didn't work very well, so we've moved it.
No, it's not a trick question.
It worked for us, but now it doesn't and we are having a release today.
We could investigate and change our build configuration after the release,
but we can't do it today.
Sven
_______________________________________________
cross-project-issues-dev mailing list
[email protected]
https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
