Merge branch 'gawk-5.1-stable'

1 files changed, 2 insertions, 2 deletions

diff --git a/main.c b/main.c
index c07dff08..5cd4808e 100644
--- a/main.c
+++ b/main.c
@@ -220,7 +220,7 @@ main(int argc, char **argv)
 {
 	int i;
 	char *extra_stack;
-	int have_srcfile = 0;
+	bool have_srcfile = false;
 	SRCFILE *s;
 	char *cp;
 #if defined(LOCALEDEBUG)
@@ -443,7 +443,7 @@ main(int argc, char **argv)
 		if (s->stype == SRC_EXTLIB)
 			load_ext(s->fullpath);
 		else if (s->stype != SRC_INC)
-			have_srcfile++;
+			have_srcfile = true;
 	}
 
 	/* do version check after extensions are loaded to get extension info */