build.template

changeset 3
9273d04a4d89
parent 2
edeb8e8e02b6
child 7
ec0d28411e6a
--- a/build.template	Mon Dec 15 19:18:04 2025 +0100
+++ b/build.template	Tue Dec 16 20:12:54 2025 +0100
@@ -55,7 +55,7 @@
 compile_log=compile.log
 check_log=check.log
 
-result_file=`pwd`/result.json
+result_file="$result_dir/result.json"
 
 
 echo "[" > $result_file
@@ -110,6 +110,9 @@
 	# write result
 	echo "write result to $result_file"
 	echo "{ \"build\":\"{{$i}}\", " >> $result_file
+	{{- if $build.Name}}
+	echo "  \"name\":\"{{$build.Name}}\"," >> $result_file
+	{{- end}}
 	if [ -n "$configure" ]; then
 		echo "  \"configure\":\"$configure\"," >> $result_file
 	fi

mercurial