Sync scripts in 'script' directory with internal CI
Sync scripts with platform-ci commit:
539c151d0cd99a5e6ca6c0e6966f6d8579fe864e
Signed-off-by: Zelalem <zelalem.aweke@arm.com>
Change-Id: I455770dea2e3974f652de317b21e53cfc0b9199e
diff --git a/script/run_package.sh b/script/run_package.sh
index a9d91d2..8c1b57a 100755
--- a/script/run_package.sh
+++ b/script/run_package.sh
@@ -56,7 +56,7 @@
# data (Host CPU time spent running in User and System). Safely
# kill the model by using SIGINT(^C) that helps in printing
# statistical data.
- if [ "$pid" == "$model_pid" ]; then
+ if [ "$pid" == "$model_pid" ] && [ "${COVERAGE_ON}" != "1" ]; then
model_cid=$(pgrep -P "$model_pid" | xargs)
# ignore errors
kill -SIGINT "$model_cid" &>/dev/null || true
@@ -125,6 +125,10 @@
source "run/env"
fi
+# Source model environment for run
+if [ -f "run/model_env" ]; then
+ source "run/model_env"
+fi
# Fail if there was no model path set
if [ -z "$model_path" ]; then
die "No model path set by package!"