diff options
Diffstat (limited to 'jenkins/rewrite.log')
-rw-r--r-- | jenkins/rewrite.log | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/jenkins/rewrite.log b/jenkins/rewrite.log index 3f5f919..b7e0570 100644 --- a/jenkins/rewrite.log +++ b/jenkins/rewrite.log @@ -1,4 +1 @@ + set +x -+ declare -g rewrite_base_artifacts_first=true -+ true -+ update_baseline |