diff --git a/kodev b/kodev index 92b2ead26..3757bae51 100755 --- a/kodev +++ b/kodev @@ -738,6 +738,7 @@ OPTIONS: exit 1 } + set -e check_submodules && make setup_env