Jeremy Lavergne wrote: > set worksrcpath ${worksrcpath}/src ${worksrcpath} is not an option and should not be changed. If you need a different subdirectory, use the worksrcdir option. Rainer