workaround for broken /bin/sh on failbuntu

diff --git a/all b/all
index fd009d9c58affaa0a246920b0f2851f0f95f0d2b..ccb522ff497945b888cdc80a1dd851d3049865af 100755 (executable)
--- a/all
+++ b/all
@@ -1737,8 +1737,8 @@ case "$cmd" in
                        verbose rm -rf qcsrc
                        gv=`grep "^gameversion " "defaultXonotic.cfg" | awk '{ print $2 }'`
                        major=$(($gv / 10000))
-                       minor=$(($gv / 100 - $major * 100))
-                       patch=$(($gv - $major * 10000 - $minor * 100))
+                       minor=$((($gv / 100) - ($major * 100)))
+                       patch=$(($gv - ($major * 10000) - ($minor * 100)))
                        versionstr="$major.$minor.$patch"
                        case "$RELEASETYPE" in
                                release)