CI: Move gates into source repo

Change-Id: If028ede5f3b127fa274c63ce166bc04ad7c1e5db
This commit is contained in:
George Joseph
2018-07-11 13:00:38 -06:00
parent b302ee6bd5
commit 3dfc37c60a
4 changed files with 244 additions and 3 deletions

View File

@@ -38,7 +38,7 @@ common_config_args+=" --with-sounds-cache=/srv/cache/sounds --with-externals-cac
common_config_args+=" --enable-dev-mode"
export WGET_EXTRA_ARGS="--quiet"
runner ./configure ${common_config_args} CCACHE_DISABLE=1 >tests/CI/output/configure.txt
runner ./configure ${common_config_args} >tests/CI/output/configure.txt
runner ${MAKE} menuselect.makeopts