diff --git a/CI/scripts/test.sh b/CI/scripts/test.sh index e56a4adc..f78dfc3f 100755 --- a/CI/scripts/test.sh +++ b/CI/scripts/test.sh @@ -791,9 +791,6 @@ function test-ISLET-SDK-shim_test() { echo "* Download ISLET SDK, build the library and run shim_test" echo "**********************************************************" echo " " - echo "****** WARNING! Skipped due to open issue #242, Fails on Ubuntu 22.04.4" - echo " " - return pushd src/islet > /dev/null 2>&1 @@ -819,9 +816,6 @@ function test-run_example-simple_app_under_islet-using-shim() { echo "* Test: Execute script to compile, build and run simple_app_under_islet using shim" echo "***********************************************************************************" echo " " - echo "****** WARNING! Skipped due to open issue #242, Fails on Ubuntu 22.04.4" - echo " " - return pushd ./sample_apps > /dev/null 2>&1 diff --git a/sample_apps/run_example.sh b/sample_apps/run_example.sh index cd4ec34b..590c0b76 100755 --- a/sample_apps/run_example.sh +++ b/sample_apps/run_example.sh @@ -681,9 +681,7 @@ function rm_non_git_files() { fi local tmp_islet_dir="/tmp/islet-save" - if [ ! -d "${tmp_islet_dir}" ]; then - mkdir "${tmp_islet_dir}" - fi + mkdir "${tmp_islet_dir}" local Islet_remote_exists=0 if [ -d "${ISLET_ROOT}/remote" ]; then set -x