diff options
Diffstat (limited to 'rtems_waf/defaults/options.py')
| -rw-r--r-- | rtems_waf/defaults/options.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rtems_waf/defaults/options.py b/rtems_waf/defaults/options.py index 8ecc675ad9..2cf1af7a72 100644 --- a/rtems_waf/defaults/options.py +++ b/rtems_waf/defaults/options.py @@ -2349,3 +2349,8 @@ class CONSOLE_BAUD(Integer): undef = True descr = "initial baud for console UART" + +class ENABLE_SYSTEM_DEP(Boolean): + value = False + undef = True + descr = "Enable dependencies on system headers, only useful if you are developing toolchains. This will slow down the build" |