Meta/Dothem: pass --locale=* to underlying Meta/Make

diff --git a/Dothem b/Dothem
index 75e90ab289a06239d8f577217f02af8a67da3d53..38a37f2ba4bc7092cd52c04bf4bcb95e8c9b1d11 100755 (executable)
--- a/Dothem
+++ b/Dothem
@@ -5,6 +5,7 @@ NWD=contrib/workdir/git-new-workdir
 force= with_dash= M= install= nodoc= bootstrap= branches= jobs=
 while  case "$1" in
        --pedantic) M="$M $1" ;;
+       --locale=*) M="$M $1" ;;
        --force) force=$1 ;;
        --dash) with_dash=y ;;
        --noinstall) install=noinstall ;;