diff options
Diffstat (limited to 'etc')
-rw-r--r-- | etc/jenkins_jobs.ini-sample | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/jenkins_jobs.ini-sample b/etc/jenkins_jobs.ini-sample index 5fd655f5..0f6308a8 100644 --- a/etc/jenkins_jobs.ini-sample +++ b/etc/jenkins_jobs.ini-sample @@ -5,6 +5,7 @@ include_path=.:scripts:~/git/ recursive=False exclude=.*:manual:./development allow_duplicates=False +update=all [jenkins] user=jenkins |