Print slightly nicer messages in script for debugging.

cryspen · Oct 4, 2023 · 10aba0b · 10aba0b
1 parent a97df4a
commit 10aba0b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/extract_to_fstar.py b/extract_to_fstar.py
@@ -11,7 +11,8 @@ def shell(command, expect=0, cwd=None, format_function_string=False):
     if format_function_string:
         command_formatted[4] = "'{}'".format(command_formatted[4])
 
-    print(" ".join(command_formatted))
+    print("Command: {}".format(" ".join(command_formatted)))
+    print("Directory: {}".format(cwd))
 
     ret = subprocess.run(
         command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, cwd=cwd