Hi Carol.

> The easiest way to modify the build script is to add an
> unless="no.thirdparty-clean" to the thirdparty-clean target.  

Good idea I'll update the build scripts and change the Jenkins jobs.

Justin

Reply via email to