diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-13 17:42:40 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-13 19:41:09 +0100 |
| commit | 81cf133083ee8597c6698994a657e0f24c16ee9e (patch) | |
| tree | 9dd20de3a50c8ba08f26965b9384fc7bec7f4c16 /bin | |
| parent | 79815e5ba072791206bad5e50047dbefd1bd904c (diff) | |
| download | jenkins.debian.net-81cf133083ee8597c6698994a657e0f24c16ee9e.tar.xz | |
reproducible: use /var/lib/jenkins/reproducible.db instead of the userContent/ one
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 11b02f8d..773b199e 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -23,8 +23,8 @@ QUIET = False BIN_PATH = '/srv/jenkins/bin' BASE = '/var/lib/jenkins/userContent' -REPRODUCIBLE_DB = BASE + '/reproducible.db' REPRODUCIBLE_JSON = BASE + '/reproducible.json' +REPRODUCIBLE_DB = '/var/lib/jenkins/reproducible.db' DBD_URI = '/dbd' NOTES_URI = '/notes' |