adding more debug output

tlaplus · Dec 8, 2017 · dacae3f · dacae3f
1 parent ca8dbea
commit dacae3f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/params.ml b/src/params.ml
@@ -81,7 +81,9 @@ let get_exec e =
   | Unchecked (exec, cmd, vers) ->
      let tod = Unix.gettimeofday () |> int_of_float in
      let r = 10000 + (Random.int 10000) in
-     let stat = sprintf "%s stat `which %s` >/tmp/stat-%d-%d.txt" path_prefix exec tod r in
+     let stat = sprintf "echo path prefix: \"%s\" ; %s stat `which %s` >/tmp/stat-%d-%d.txt"
+                path_prefix path_prefix exec tod r in
+
      ignore (Sys.command stat);
      let check = sprintf "%s type %s >/tmp/check-%d-%d.txt" path_prefix exec tod r in
      eprintf "probing command: %s\n" check;