xonotic-map-compiler-optionsfile : store seconds in file $M:30

diff --git a/misc/tools/xonotic-map-compiler-optionsfile b/misc/tools/xonotic-map-compiler-optionsfile
index 15113e2935569c1418a8a7a73850d4fbbc359587..4f798c6495b641cf42c075c199f3612064a2dfc9 100755 (executable)
--- 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