diff options
author | Steve Bennett <steveb@workware.net.au> | 2017-04-21 17:54:46 +1000 |
---|---|---|
committer | Steve Bennett <steveb@workware.net.au> | 2017-04-21 17:57:46 +1000 |
commit | a9c149f459c9711ce5e36efa7f4eca1fe57622d9 (patch) | |
tree | 4550cf20ad5daadeed54a67c1300d4675475ad41 /auto.def | |
parent | 56cdc42d180ce9ed36a1ba0aea471cce834d86e8 (diff) | |
download | jimtcl-a9c149f459c9711ce5e36efa7f4eca1fe57622d9.zip jimtcl-a9c149f459c9711ce5e36efa7f4eca1fe57622d9.tar.gz jimtcl-a9c149f459c9711ce5e36efa7f4eca1fe57622d9.tar.bz2 |
configure: fix --docdir option
opt-val now returns a list, so take the last option given
Reported-by: Stuart Cassoff <stwo@bell.net>
Signed-off-by: Steve Bennett <steveb@workware.net.au>
Diffstat (limited to 'auto.def')
-rw-r--r-- | auto.def | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -285,7 +285,7 @@ define JIM_INSTALL [opt-bool install-jim] define JIM_DOCS [opt-bool docs] define JIM_RANDOMISE_HASH [opt-bool random-hash] if {[opt-val docdir] ne ""} { - define docdir [opt-val docdir] + define docdir [lindex [opt-val docdir] end] } else { define docdir {${prefix}/docs/jim} } |