| 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)
|
|
|