David Michael 0bcf0e9fcf jenkins: Move workspace cleanup to the pipeline
More space can be saved by removing things that get overwritten on
the next job run, but they are used after this script runs (e.g.
for fingerprinting).  Drop the cleanup from these scripts and move
it all to the post-build pipeline stage.
2019-07-30 17:29:52 +00:00
..

The scripts in this directory are run from OS Jenkins jobs. By storing the Jenkins scripts in this repository, they are more tightly coupled to the release branch of the SDK scripts that they require. The Jenkins jobs are responsible for setting up the environment and securely initializing an SDK in the workspace before running these scripts.

The special files named formats-${BOARD}.txt are space-separated lists of VM image formats that should be built for releases on this branch; i.e. the script vm.sh is run for each item in the list.