diff --git a/ci/build_autotools.sh b/ci/build_autotools.sh index 90cfd504..a616a0da 100755 --- a/ci/build_autotools.sh +++ b/ci/build_autotools.sh @@ -36,4 +36,12 @@ then exit $ret fi +make install DESTDIR=`pwd`/install + +ret=$? +if [ $ret -ne 0 ] +then + exit $ret +fi + exit 0 diff --git a/ci/build_cmake.sh b/ci/build_cmake.sh index 92a06c7c..24a8afe3 100755 --- a/ci/build_cmake.sh +++ b/ci/build_cmake.sh @@ -45,4 +45,12 @@ then exit $ret fi +make install DESTDIR=`pwd`/install + +ret=$? +if [ $ret -ne 0 ] +then + exit $ret +fi + exit 0