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 /src | |
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 'src')
0 files changed, 0 insertions, 0 deletions