1 files changed, 17 insertions, 0 deletions
diff --git a/v_windows/v/old/cmd/tools/vtracev.v b/v_windows/v/old/cmd/tools/vtracev.v
new file mode 100644
index 0000000..1666188
--- /dev/null
+++ b/v_windows/v/old/cmd/tools/vtracev.v
@@ -0,0 +1,17 @@
+module main
+
+import os
+import v.pref
+
+fn main() {
+	vexe := pref.vexe_path()
+	vroot := os.dir(vexe)
+	os.chdir(vroot)
+	os.setenv('VCOLORS', 'always', true)
+	self_idx := os.args.index('tracev')
+	args := os.args[1..self_idx]
+	args_str := args.join(' ')
+	options := if args.len > 0 { '($args_str)' } else { '' }
+	println('Compiling a `tracev` executable ${options}...')
+	os.system('$vexe -cg -d trace_parser -d trace_checker -d trace_gen -o tracev $args_str cmd/v')
+}