diff options
Diffstat (limited to 'src/CI/travis/inside_docker.sh')
| -rwxr-xr-x | src/CI/travis/inside_docker.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/CI/travis/inside_docker.sh b/src/CI/travis/inside_docker.sh new file mode 100755 index 0000000..7aa9522 --- /dev/null +++ b/src/CI/travis/inside_docker.sh @@ -0,0 +1,26 @@ +#!/bin/sh -e + +LIBNAME="$1" +OS_TYPE="$2" + +export INSIDE_DOCKER="1" +export TRAVIS_BUILD_DIR="/$LIBNAME" + +cd /$LIBNAME + +if [ -d "/$LIBNAME/CI" ] ; then + CI="/$LIBNAME/CI" +elif [ -d "/$LIBNAME/ci" ] ; then + CI="/$LIBNAME/ci" +else + echo "No CI/ci directory present" + exit 1 +fi + +$CI/travis/before_install_linux "$OS_TYPE" + +$CI/travis/make_linux "$OS_TYPE" + +# need to find this out inside the container +. $CI/travis/lib.sh +echo "$(get_ldist)" > /${LIBNAME}/build/.LDIST |