diff options
| -rw-r--r-- | audio/festival/files/patch-speech__tools_siod_editline.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/audio/festival/files/patch-speech__tools_siod_editline.c b/audio/festival/files/patch-speech__tools_siod_editline.c new file mode 100644 index 000000000000..f731ee227592 --- /dev/null +++ b/audio/festival/files/patch-speech__tools_siod_editline.c @@ -0,0 +1,11 @@ +--- speech_tools/siod/editline.c.orig 2020-08-24 09:52:13 UTC ++++ speech_tools/siod/editline.c +@@ -73,7 +73,7 @@ + /* modified by awb to allow specifcation of history size at run time */ + /* (though only once) */ + int editline_histsize=256; +-char *editline_history_file; ++extern char *editline_history_file; + /* If this is defined it'll be called for completion first, before the */ + /* internal file name completion will be */ + EL_USER_COMPLETION_FUNCTION_TYPE*el_user_completion_function = NULL; |