Commit 003a1962 authored Jul 22, 2021 by YannGarcia

Enhance docker support

parent 223f97f2

.jenkins.sh

+8 −1

Original line number	Diff line number	Diff line
		@@ -12,8 +12,15 @@ run_dir=`pwd`
		# Docker version 2
		cd docker
		./build.sh #--force-stfubuntu
		./run.sh
		ret_code=`echo $?`

		if [ $ret_code != 0 ]
		cd $run_dir
		exit -1
		fi

		./run.sh

		cd $run_dir

		exit 0