sort settings keys, to ensure the same order for debugging and jcache comparisons

2 files changed, 2 insertions, 2 deletions

diff --git a/emscripten.py b/emscripten.py
index b766cfb4..dc5d5f5b 100755
--- a/emscripten.py
+++ b/emscripten.py
@@ -131,7 +131,7 @@ def emscript(infile, settings, outfile, libraries=[]):
   settings_file = temp_files.get('.txt').name
   def save_settings():
     global settings_text
-    settings_text = json.dumps(settings)
+    settings_text = json.dumps(settings, sort_keys=True)
     s = open(settings_file, 'w')
     s.write(settings_text)
     s.close()
diff --git a/tools/shared.py b/tools/shared.py
index d587a071..b0fe45d8 100644
--- a/tools/shared.py
+++ b/tools/shared.py
@@ -554,7 +554,7 @@ class Settings:
         ret = []
         for key, value in Settings.__dict__.iteritems():
           if key == key.upper(): # this is a hack. all of our settings are ALL_CAPS, python internals are not
-            jsoned = json.dumps(value)
+            jsoned = json.dumps(value, sort_keys=True)
             ret += ['-s', key + '=' + jsoned]
         return ret