4 die() { printf '%s\n' "$@" 1>&2; kill -USR1 $$; }
6 git submodule update --init || echo "Failed to update Gnulib sources from git."
7 if test -x gnulib/gnulib-tool; then
8 gnulib/gnulib-tool --update || die "Failed to update Gnulib."
10 die "Gnulib sources are not properly installed in gnulib/."