fix SKIPREADLINE compilation err

This commit is contained in:
Philippe Teuwen 2020-08-13 09:42:50 +02:00
parent 27553ba34a
commit 85fd28eb2c

View file

@ -139,17 +139,14 @@ static int check_comm(void) {
msleep(10); msleep(10);
return 0; return 0;
} }
static void flush_history(void) {
#ifdef HAVE_READLINE #ifdef HAVE_READLINE
static void flush_history(void) {
if (session.history_path) { if (session.history_path) {
write_history(session.history_path); write_history(session.history_path);
free(session.history_path); free(session.history_path);
} }
#endif
} }
#ifdef HAVE_READLINE
# if defined(_WIN32) # if defined(_WIN32)
/* /*
static bool WINAPI terminate_handler(DWORD t) { static bool WINAPI terminate_handler(DWORD t) {