Jenkins: Rebuild everything if build number wrong
[akaros.git] / tools / jenkins / launcher.sh
2014-05-06 Kevin KluesJenkins: Rebuild everything if build number wrong
2014-05-06 Kevin KluesJenkins: Use $JOB_NAME instead of hard coding it
2014-05-06 Kevin KluesJenkins: Don't rebuild kernel with userspace
2014-05-06 Barret RhodenJenkins: build the kernel last
2014-05-05 Kevin KluesClean the output log to remove ^M characters
2014-05-05 Kevin KluesMajor overhaul to testing infrastructure
2014-05-05 Kevin KluesGet diff from last stable build, not just previous...
2014-05-05 Kevin KluesTurn on userspace tests and set defaults properly
2014-05-05 alfongjAdded jenkins testing infrastructure.