Propagate flags (like -x) to one bash to another

This commit is contained in:
Laurent Rineau 2019-03-26 10:40:02 +01:00
parent aa743e574b
commit 5ef409f74e
1 changed files with 1 additions and 1 deletions

View File

@ -278,7 +278,7 @@ for HOST in ${BUILD_HOSTS}; do
docker run --rm -t -e HOST="${HOST}" -v ${CGAL_ROOT}/ssh:/tmp_ssh -v ${DEPS_DIR}:/deps -v ${CGAL_ROOT}:/cgal_root -v${CGAL_DIR}:/cgal_root/CGAL-git cgal/testsuite-docker:debian-stable-cross-compilation-for-arm
fi
else
HOST=$HOST bash ${CGAL_DIR}/${SCRIPTS_DIR}developer_scripts/run_testsuite_with_cmake
HOST=$HOST bash -$- ${CGAL_DIR}/${SCRIPTS_DIR}developer_scripts/run_testsuite_with_cmake
fi
done