diff options
Diffstat (limited to 'ci/clean.sh')
| -rwxr-xr-x | ci/clean.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ci/clean.sh b/ci/clean.sh index ac958f6a..b898fc9c 100755 --- a/ci/clean.sh +++ b/ci/clean.sh @@ -18,7 +18,10 @@ RESOURCES=${RESOURCES:-"$CONFIG/images"} LIB=${LIB:-"$CONFIG/lib"} ##LIBRARIES -source $LIB/common-functions.sh +if ! source $LIB/common-functions.sh; then + echo "Failed to source $LIB/common-functions.sh" + exit 1 +fi vm_index=4 ovs_bridges="br-admin br-private br-public br-storage" |