char *rline = readline("> "); | char *rline = readline("> "); | ||||
if (rline == NULL) return; | if (rline == NULL) return; | ||||
if (rline[0] == '\0') continue; | if (rline[0] == '\0') continue; | ||||
add_history(rline); | |||||
snprintf(line, sizeof(line), "print (%s)", rline); | snprintf(line, sizeof(line), "print (%s)", rline); | ||||
free(rline); | free(rline); | ||||
#else | #else |