diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-07-18 17:26:23 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-07-18 17:45:33 +0200 |
| commit | 545149a2fc3523bbcbf3703fae3ae1ca5312f8c8 (patch) | |
| tree | 120ca7270db85d5c7bcae045f99a052884b760da /tools/make-directive-index.py | |
| parent | 46f08bea4b09e2cce4b50e3c082df4a92a22598c (diff) | |
terminal: only build if --enable-terminal was specified
Whoopsy, I totally forgot adding the "if ENABLE_TERMINAL" markers. Do that
now that we know it builds fine everywhere.
Diffstat (limited to 'tools/make-directive-index.py')
0 files changed, 0 insertions, 0 deletions