Fix configure.sh for --gui=no
authorNiki Roo <niki@nikiroo.be>
Sun, 10 Dec 2017 18:03:15 +0000 (19:03 +0100)
committerNiki Roo <niki@nikiroo.be>
Sun, 10 Dec 2017 18:03:15 +0000 (19:03 +0100)
commit24c1809356a3e15504f9d28053de1cf55ed78c0b
treeef0c4f99267be310aca924049a52656dc78bac1e
parentcbd62024bf557bb4da3891435a4ce050cfc9fae7
Fix configure.sh for --gui=no
configure.sh