add total time to html compiler phase

1 files changed, 6 insertions, 1 deletions

diff --git a/src/compiler_funcs.html b/src/compiler_phase.html
index a769955b..8ca631e8 100644
--- a/src/compiler_funcs.html
+++ b/src/compiler_phase.html
@@ -5,7 +5,7 @@ Open the web console to see stderr output
 <hr>
 <pre id="output"></pre>
 <script>
-  arguments = ['tmp/emscripten_temp/tmpgo4sBT.txt', 'tmp/emscripten_temp/tmph9FP9W.func_0.ll', 'funcs', 'tmp/emscripten_temp/tmp0Aj1Vk.json']; // copy from emscripten.py output
+  arguments = ['tmp/emscripten_temp/tmpbTF9CI.txt', 'tmp/emscripten_temp/tmpz8Yvie.pre.ll', 'pre']; // copy from emscripten.py output
 
   var outputElement = document.getElementById('output');
   print = function(x) {
@@ -20,9 +20,14 @@ Open the web console to see stderr output
       throw 'what?'
     }
   };
+
+  var startTime = Date.now();
 </script>
 <script src="compiler.js">
 </script>
+<script>
+  outputElement.innerHTML += '<br>total time: ' + (Date.now() - startTime);
+</script>
 </body>
 </html>