Philippe Gerum wrote:
> Jan Kiszka wrote:
>> Philippe Gerum wrote:
>>
>>> Jan Kiszka wrote:
>>>
>>>> Hi,
>>>>
>>>> latest src/skin/uvm and src/skin/vxworks doesn't build. Work in
>>>> progress
>>>> or broken check-in?
>>>
>>> Should be ok now.
>>
>>
>> Almost:
>> intLib.c:21:26: error: vxworks/defs.h: No such file or directory
>>
> 
> Did you resync your auto-stuff?

A simple configure re-run didn't help, but after deleting the build
directory it's fine now. End of warning.

Jan