Fix configure script for Jexer
authorNiki Roo <niki@nikiroo.be>
Tue, 27 Jun 2017 16:31:20 +0000 (18:31 +0200)
committerNiki Roo <niki@nikiroo.be>
Tue, 27 Jun 2017 16:31:20 +0000 (18:31 +0200)
commit7d04a702b88445f1b1cb7633879348a5dcdffbfa
treedc91d81e0e797c774af5a71d3ce75e9bf1c20dd9
parentc1873e5678fabf306915c54f9c1736e03e027d60
Fix configure script for Jexer
configure.sh