t0=`date +%s`
# It's sad that we must enforce this rule by code.
- if grep -- '-nosRGB' "maps/$map.map.options" >/dev/null; then
+ if grep -- '-nosRGB' "maps/$M.map.options" >/dev/null; then
is_nosrgb=true
else
is_nosrgb=false
if ! $is_nosrgb; then
if [ -n "$IRCSPAM" ]; then
echo "CONGRATULATIONS: map $map does not use -nosRGB any more. Please remove the map name from the list in xonotic-map-compiler-autobuild once this is merged to master." | $IRCSPAM || true
- fi
+ Fi
fi
;;
*)