]> git.xonotic.org Git - xonotic/xonotic.git/blobdiff - misc/tools/xonotic-map-compiler-optionsfile
demotc-race-record-extractor.sh: remove useless rc case (gametype name is always...
[xonotic/xonotic.git] / misc / tools / xonotic-map-compiler-optionsfile
index 7f14cef9e26ad8bdfe412c8a833dfd27c21f6fad..d1dd14031ac13ab51cf7e823b9bdbe95d03e8c12 100755 (executable)
@@ -10,16 +10,7 @@ else
        minimap_override=
 fi
 
-mkdir -p ~/.xonotic-map-compiler-autobuild/ # to store map compile times in
-tstart=`date +%s`
+misc/tools/xonotic-map-compiler "$M" `grep ^- "$M.map.options" | cut -d '#' -f 1` $minimap_override "$@"
+status=$?
 
-lasttime=`cat ~/.xonotic-map-compiler-autobuild/${M:30} 2>/dev/null` # oppress warnings if file doesn't exist
-echo "Done in approximately $(($lasttime/60)) minutes."
-
-misc/tools/xonotic-map-compiler "$M" `grep ^- "$M.map.options" | cut -d '#' -f 1` $minimap_override "$@" || mapfail=true
-
-tend=`date +%s`
-let tdelta=$tend-$tstart # compute time
-if  [[ ! ${mapfail} ]] ; then
-       echo $tdelta > ~/.xonotic-map-compiler-autobuild/${M:30} # save time in ~/.xonotic-map-compiler-autobuild/mapname
-fi
+exit $status