17#ifdef HAVE_LIBREADLINE
25#ifdef HAVE_PRAGMA_GCC_SYSTEM_HEADER
26#pragma GCC system_header
29#if defined(HAVE_READLINE_READLINE_H)
30#include <readline/readline.h>
31#if defined(HAVE_READLINE_HISTORY_H)
32#include <readline/history.h>
34#elif defined(HAVE_EDITLINE_READLINE_H)
35#include <editline/readline.h>
36#if defined(HAVE_EDITLINE_HISTORY_H)
37#include <editline/history.h>
39#elif defined(HAVE_READLINE_H)
41#if defined(HAVE_HISTORY_H)
55extern bool printHistory(
const char *fname,
unsigned short int pager);
static rewind_source * source