X-Git-Url: https://git.xonotic.org/?a=blobdiff_plain;f=misc%2Ftools%2Fxonotic-map-compiler-optionsfile;fp=misc%2Ftools%2Fxonotic-map-compiler-optionsfile;h=4f798c6495b641cf42c075c199f3612064a2dfc9;hb=d6b69254f7278737e04d446b64e37f4e8cd28f06;hp=15113e2935569c1418a8a7a73850d4fbbc359587;hpb=85c67feacc3529b00a244e7dfce6525e609767c3;p=xonotic%2Fxonotic.git

diff --git a/misc/tools/xonotic-map-compiler-optionsfile b/misc/tools/xonotic-map-compiler-optionsfile
index 15113e29..4f798c64 100755
--- a/misc/tools/xonotic-map-compiler-optionsfile
+++ b/misc/tools/xonotic-map-compiler-optionsfile
@@ -18,4 +18,7 @@ tstart=`date +%s`
 misc/tools/xonotic-map-compiler "$M" `grep ^- "$M.map.options" | cut -d '#' -f 1` $minimap_override "$@"
 
 tend=`date +%s`
-let tdelta=$tend-$tstart
+let tdelta=$tend-$tstart # compute time
+
+cd ~/.xonotic-map-compiler-autobuild/
+echo $tdelta > ${M:30} # save time in ~/.xonotic-map-compiler-autobuild/mapname