diff options
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 076a9d17..133f09f0 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -204,3 +204,11 @@ def read_auto_optimize_data(filename): 'overflows_lines': overflows_lines } +# Settings + +class Dummy: pass + +Settings = Dummy() # A global singleton. Not pretty, but nicer than passing |, settings| everywhere +Settings.save_dir = 0 +Settings.save_JS = 0 + |