Michal Privoznik f7deea5242 tools: Work around ancient readline
My latest commit of a785186446de785d uncovered a problem we fixed
in 9eb23fe2 but then reverted in 834c5720e443. Turns out, some
systems (I'm looking at you OS X) have ancient readline with
broken header file.

Signed-off-by: Michal Privoznik <mprivozn@redhat.com>
2017-11-23 18:37:17 +01:00
..
2017-11-03 13:24:12 +01:00
2017-10-16 10:22:34 +01:00
2017-11-23 18:37:17 +01:00
2017-11-03 13:24:12 +01:00