6 #if defined (READLINE_LIBRARY)
10 # include <readline/readline.h>
11 # include <readline/history.h>
15 main (int c
, char **v
)
20 input
= readline ((char *)NULL
);
23 printf ("%s\n", input
);
24 if (strcmp (input
, "exit") == 0)
This page took 0.030802 seconds and 4 git commands to generate.