Merge pull request #34 from hankei6km/topic/elapsed-time

feat: Add 'print-elapsed-time' flag
hankei6km · Aug 10, 2023 · 2571a45 · 2571a45
2 parents afa236e + d7e0bd3
commit 2571a45
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/extension.ts b/src/extension.ts
@@ -67,7 +67,11 @@ export async function activate(_context: ExtensionContext) {
         } else {
           process = await wasm.createProcess(runArgs.cmdName, module, options)
         }
+        const started = Date.now()
         const result = await process.run()
+        if (runArgs.runArgs['print-elapsed-time']) {
+          stdoutWrite(stdio.out, `${Date.now() - started}\n`)
+        }
         return result
       }
       return 1