Added jenkinsfile

This commit is contained in:
WolverinDEV
2019-07-06 17:00:36 +02:00
parent 33644f2f8f
commit e7df966ca4
4 changed files with 103 additions and 2 deletions
+5
View File
@@ -26,6 +26,11 @@ function requires_rebuild() {
base_path=$(realpath $1)
echo "Testing library build status at $1 ($base_path)"
if [[ "$force_rebuild" == "*" ]]; then
echo "Force rebuild for everything. Rebuilding!"
return 1
fi
if echo "$force_rebuild" | grep -q -E "(^|;)$1(;|$)"; then
echo "Force rebuild for $1 is set. Rebuilding!"
return 1