commit 46effeb8b1f8603be0cd3766afcf09863ea5dfb9
author Alexandru Ardelean <alexandru.ardelean@analog.com> Tue Feb 12 10:58:32 2019
committer Gwendal Grignou <gwendal@chromium.org> Wed May 01 19:52:16 2019
tree 0f4a54185b37b42163a452acb641ff34f7207fb1
parent de86430e20d7cac0b9d358d02d76e178c9c027fe

CI/travis/inside_docker.sh: handle lowercase `ci` dir

Some repos will have a lowercase `ci` dir.
The `inside_docker.sh` should handle them as well.

Signed-off-by: Alexandru Ardelean <alexandru.ardelean@analog.com>

CI/travis/inside_docker.sh

diff --git a/CI/travis/inside_docker.sh b/CI/travis/inside_docker.sh
index 0c7c024..7aa9522 100755
--- a/CI/travis/inside_docker.sh
+++ b/CI/travis/inside_docker.sh
@@ -8,10 +8,19 @@
 
 cd /$LIBNAME
 
-/$LIBNAME/CI/travis/before_install_linux "$OS_TYPE"
+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
 
-/$LIBNAME/CI/travis/make_linux "$OS_TYPE"
+$CI/travis/before_install_linux "$OS_TYPE"
+
+$CI/travis/make_linux "$OS_TYPE"
 
 # need to find this out inside the container
-. /${LIBNAME}/CI/travis/lib.sh
+. $CI/travis/lib.sh
 echo "$(get_ldist)" > /${LIBNAME}/build/.LDIST