diff --git a/tools/check_seapp.c b/tools/check_seapp.c
index 39fe77e18..41d0dbf04 100644
--- a/tools/check_seapp.c
+++ b/tools/check_seapp.c
@@ -737,6 +737,7 @@ static void handle_options(int argc, char *argv[]) {
 						"Unknown option character `\\x%x'.\n",
 						optopt);
 			}
+			break;
 		default:
 			exit(EXIT_FAILURE);
 		}