Index: Source/devtools/scripts/compile_frontend.py |
diff --git a/Source/devtools/scripts/compile_frontend.py b/Source/devtools/scripts/compile_frontend.py |
index 63e15c6b102b7acde86fa02f038a0986ed9ae594..001dc8169b18e551705eca3e1e2809388cb869ce 100755 |
--- a/Source/devtools/scripts/compile_frontend.py |
+++ b/Source/devtools/scripts/compile_frontend.py |
@@ -472,4 +472,4 @@ if not process_recursively: |
os.system(check_injected_webgl_calls_command) |
shutil.rmtree(modules_dir) |
-#os.system("rm " + protocol_externs_path) |
+os.system("rm " + protocol_externs_path) |