changeset 1178:5c34dfc73b37 tooling/benchmarks

Add function for getting the hg rev id
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 27 Jan 2023 11:19:58 +0100
parents 68445e87fa93
children d6038ceba882
files benchmark/run_and_view.jl
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/benchmark/run_and_view.jl	Wed Jan 25 14:00:16 2023 +0100
+++ b/benchmark/run_and_view.jl	Fri Jan 27 11:19:58 2023 +0100
@@ -60,6 +60,11 @@
     return readchomp(addenv(cmd, "HGPLAIN"=>""))
 end
 
+function hg_rev()
+    cmd = Cmd(`hg id -i`, dir=sbplib_root)
+    return readchomp(addenv(cmd, "HGPLAIN"=>""))
+end
+
 function hg_update(rev)
     cmd = Cmd(`hg update --check $rev`, dir=sbplib_root)
     run(addenv(cmd, "HGPLAIN"=>""))