diff --git a/shell.c b/shell.c
index c05e7a4..9bd85ee 100644
--- a/shell.c
+++ b/shell.c
@@ -238,7 +238,7 @@ void shell_interactive() {
 #ifndef WITH_READLINE
 	char *line;
 
-	while(1) {
+	while(!shell_exit) {
 		fputs("jzboot> ", stdout);
 		fflush(stdout);