diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2018-07-30 06:22:02 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2018-07-30 06:22:02 +0300 |
commit | e5e10d2f07e4393c9f000a5599215e461e967f3f (patch) | |
tree | 4de872ba4474337f9dae47bbe93e10e93ee56456 | |
parent | f6363a30fb6cb43a0e797f21c8f4b684c16c6ad4 (diff) |
Fix ERP 18.06 config
-rw-r--r-- | ERP:18.06.prj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ERP:18.06.prj b/ERP:18.06.prj index 98c41ad..80c7b77 100644 --- a/ERP:18.06.prj +++ b/ERP:18.06.prj @@ -6,7 +6,7 @@ <person userid="jenkins" role="maintainer"/> <person userid="marcin.juszkiewicz" role="maintainer"/> <person userid="riku.voipio" role="maintainer"/> - <repository name="Debian_9"> + <repository name="Debian_9" rebuild="local" block="never" linkedbuild="all"> <path project="Debian:9.0" repository="backports"/> <arch>aarch64</arch> <arch>x86_64</arch> |