diff options
Diffstat (limited to 'src/compiler.js')
-rw-r--r-- | src/compiler.js | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/compiler.js b/src/compiler.js index 447d34b7..f461bcf7 100644 --- a/src/compiler.js +++ b/src/compiler.js @@ -141,8 +141,13 @@ if (phase == 'pre') { if (settings_file) { var settings = JSON.parse(read(settings_file)); - for (setting in settings) { - eval(setting + ' = ' + JSON.stringify(settings[setting])); + for (key in settings) { + var value = settings[key]; + if (value[0] == '@') { + // response file type thing, workaround for large inputs: value is @path-to-file + value = JSON.parse(read(value.substr(1))); + } + eval(key + ' = ' + JSON.stringify(value)); } } |