src/doc: use `nitdoc_name` rather than `nitdoc_id` for debug name.

[nit.git] / src / toolcontext.nit

diff --git a/src/toolcontext.nit b/src/toolcontext.nit
index 8f08e30..a5b7ceb 100644 (file)
--- a/src/toolcontext.nit
+++ b/src/toolcontext.nit
@@ -243,11 +243,13 @@ class ToolContext
        # Stops execution and prints errors if the program isn't available or didn't end correctly
        fun exec_and_check(args: Array[String], error: String)
        do
+               info("+ {args.join(" ")}", 2)
+
                var prog = args.first
                args.remove_at 0
 
                # Is the wanted program available?
-               var proc_which = new IProcess.from_a("which", [prog])
+               var proc_which = new ProcessReader.from_a("which", [prog])
                proc_which.wait
                var res = proc_which.status
                if res != 0 then