# Runs setup.sh in all configuration directories. Must be run in the main
# configuration directory.
-# Copyright (C) 2009-2013 Simon Ruderich
+# Copyright (C) 2009-2018 Simon Ruderich
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# along with this program. If not, see <http://www.gnu.org/licenses/>.
-set -e
+set -eu
+
+
+# Enforce evtag checks for submodules.
+git submodule init > /dev/null
+for x in `git config --local --get-regexp 'submodule.*\.url' \
+ | awk '{print $1}'`; do
+ git config "${x%.url}.update" '!git-update-and-verify-submodule'
+done
for path in */setup.sh; do
# Skip non executable setup.sh files as an easy way to deactivate one.
project=`printf '%s' "$path" | sed 's|/setup.sh$||'`
- printf "running setup.sh in '%s'\n" "$project"
+ printf 'running setup.sh in "%s"\n' "$project"
( cd "$project" && ./setup.sh >/dev/null ) || {
printf '%s/setup.sh failed\n' "$project" >&2
exit 1