Skip to content

Commit

Permalink
Restore ISLET-related build-and-test on CI
Browse files Browse the repository at this point in the history
Signed-off-by: Sangwan Kwon <[email protected]>
  • Loading branch information
bitboom committed Apr 30, 2024
1 parent 9bfb680 commit 0d5f33c
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 9 deletions.
6 changes: 0 additions & 6 deletions CI/scripts/test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand All @@ -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

Expand Down
4 changes: 1 addition & 3 deletions sample_apps/run_example.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 0d5f33c

Please sign in to comment.