8fc66abdef3d9b9ddb472440a4212de973d9c2a4
5 #if defined (READLINE_LIBRARY)
9 # include <readline/readline.h>
10 # include <readline/history.h>
14 main (int c
, char **v
)
19 input
= readline ((char *)NULL
);
22 printf ("%s\n", input
);
23 if (strcmp (input
, "exit") == 0)
This page took 0.038983 seconds and 3 git commands to generate.