diff --git a/tools/cpm/package/fetch.sh b/tools/cpm/package/fetch.sh index a846f34b88..b03a824146 100755 --- a/tools/cpm/package/fetch.sh +++ b/tools/cpm/package/fetch.sh @@ -73,7 +73,7 @@ download_package() { } ci_package() { - [ "$REPO" != null ] || echo "-- ! No repo defined" && return + [ "$REPO" != null ] || { echo "-- ! No repo defined" && return; } echo "-- CI package $PACKAGE_NAME"