diff options
Diffstat (limited to 'include_server/basics.py')
| -rwxr-xr-x | include_server/basics.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include_server/basics.py b/include_server/basics.py index 0854aa5..f2c5301 100755 --- a/include_server/basics.py +++ b/include_server/basics.py @@ -220,6 +220,7 @@ opt_simple_algorithm = False opt_stat_reset_triggers = {} opt_statistics = False opt_unsafe_absolute_includes = False +opt_no_force_dirs = False opt_verify = False # whether to compare calculated include closure to that # produced by compiler opt_write_include_closure = False # write include closures to file |