summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Herrmann <dh.herrmann@gmail.com>2014-07-18 17:26:23 +0200
committerDavid Herrmann <dh.herrmann@gmail.com>2014-07-18 17:45:33 +0200
commit545149a2fc3523bbcbf3703fae3ae1ca5312f8c8 (patch)
tree120ca7270db85d5c7bcae045f99a052884b760da /.gitignore
parent46f08bea4b09e2cce4b50e3c082df4a92a22598c (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions