diff options
author | 2017-09-18 21:44:07 +0000 | |
---|---|---|
committer | 2017-09-18 21:44:07 +0000 | |
commit | 82151816f48c58f35e7f603f1ecf64a5b64c3d5b (patch) | |
tree | b10475a506799b0fa651e142342cb7c58278a900 /jjb/common | |
parent | 6969d5332c7adacd5703d54734141a5f56e57e78 (diff) | |
parent | 0dd4a29cb2bba9b60839907d320b56543a3cb0da (diff) |
Merge "Enable CI specific DISTRO_FEATURES"
Diffstat (limited to 'jjb/common')
-rw-r--r-- | jjb/common/include-agl-local-conf-DISTROFEATURES-AGLCI.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jjb/common/include-agl-local-conf-DISTROFEATURES-AGLCI.sh b/jjb/common/include-agl-local-conf-DISTROFEATURES-AGLCI.sh new file mode 100644 index 00000000..77b0058c --- /dev/null +++ b/jjb/common/include-agl-local-conf-DISTROFEATURES-AGLCI.sh @@ -0,0 +1,2 @@ +# This is the big switch for in-CI builds +DISTRO_FEATURES_append = "AGLCI" |