Remove unused internal setting: EMSCRIPTEN_VERSION. NFC

Author: sbc100

src/settings_internal.js

@@ -106,10 +106,6 @@ var WASI_MODULE_NAME = "wasi_snapshot_preview1";
 // implicitly linked libraries added by the JS compiler.
 var JS_LIBRARIES = [];
 
-// This will contain the emscripten version. This can be useful in combination
-// with RETAIN_COMPILER_SETTINGS
-var EMSCRIPTEN_VERSION = '';
-
 // Will be set to 0 if -fno-rtti is used on the command line.
 var USE_RTTI = true;
 

tools/link.py

@@ -1809,7 +1809,6 @@ def get_full_import_name(name):
                                     'emscripten_stack_get_base',
                                     'emscripten_stack_get_end']
 
-  settings.EMSCRIPTEN_VERSION = utils.EMSCRIPTEN_VERSION
   settings.SOURCE_MAP_BASE = options.source_map_base or ''
 
   settings.LINK_AS_CXX = (shared.run_via_emxx or settings.DEFAULT_TO_CXX) and not options.nostdlibxx

tools/maint/find_unused_settings.py

@@ -18,13 +18,20 @@
 
 
 def main():
+  print(f'Searching {len(settings.internal_settings)} internal settings')
+  for key in settings.internal_settings:
+    #print('CHECKING:', key)
+    cmd = ['git', 'grep', '-q', f'\\<{key}\\>', '*.mjs', '*.js', ':(exclude)src/settings.js', ':(exclude)src/settings_internal.js']
+    if subprocess.run(cmd, check=False).returncode:
+      print('NOT FOUND IN JS:', key)
+
   print(f'Searching {len(settings.attrs)} settings')
   for key in settings.attrs:
+    #print('CHECKING:', key)
     cmd = ['git', 'grep', '-q', f'\\<{key}\\>',  ':(exclude)src/settings.js', ':(exclude)src/settings_internal.js']
-    print('CHECKING:', key)
     # git grep returns 0 if there is a match and non-zero when there is not
     if subprocess.run(cmd, check=False).returncode:
-      print('NOT FOUND: ', key)
+      print('NOT FOUND ANYWHERE:', key)
 
 
 if __name__ == '__main__':