summaryrefslogtreecommitdiff
path: root/.ci
diff options
context:
space:
mode:
authorStefan Schmidt <stefan@osg.samsung.com>2018-04-27 10:55:19 +0200
committerStefan Schmidt <s.schmidt@samsung.com>2018-05-04 09:23:59 +0200
commit8a2547aaea79c85d343c8f7833df4e41b8f791e8 (patch)
treeb1629b8a5d8c404a6d4cecf4b0510b93a5024c5b /.ci
parent37b9bd5161144ef6743f4e717642acc172c16ae8 (diff)
downloadefl-8a2547aaea79c85d343c8f7833df4e41b8f791e8.tar.gz
ci: add new build to test release profile and distcheck
To avoid surprises when starting the release process make sure we have a build which actually runs the release profile and tests distcheck.
Diffstat (limited to '.ci')
-rwxr-xr-x.ci/ci-linux-build.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/.ci/ci-linux-build.sh b/.ci/ci-linux-build.sh
index d2a0d01f87..87285db7d0 100755
--- a/.ci/ci-linux-build.sh
+++ b/.ci/ci-linux-build.sh
@@ -27,6 +27,8 @@ MISC_DISABLED_COPTS="--disable-neon --disable-libeeze --disable-systemd --disabl
--disable-pulseaudio --disable-avahi --disable-xinput2 --disable-xim --disable-scim \
--disable-ibus --disable-physics --disable-quick-launch --disable-elua"
+RELEASE_READY_COPTS="--with-profile=release"
+
if [ "$CI_BUILD_TYPE" = "" ]; then
# Normal build test of all targets
./autogen.sh $DEFAULT_COPTS
@@ -53,3 +55,9 @@ if [ "$CI_BUILD_TYPE" = "misc-disabled" ]; then
make -j $PARALLEL_JOBS
make -j $PARALLEL_JOBS examples
fi
+
+if [ "$CI_BUILD_TYPE" = "release-ready" ]; then
+ ./autogen.sh $RELEASE_READY_COPTS
+ make -j $PARALLEL_JOBS
+ make -j $PARALLEL_JOBS distcheck
+fi