Merge branch 'master' into concedo

2026-09-03 11:35:48 +02:00 · 2023-03-19 00:07:32 +08:00
parent 2c8f870f53 e03e359730
commit e3d85aa08b
3 changed files with 58 additions and 3 deletions
@@ -1015,7 +1015,7 @@ int main(int argc, char ** argv) {
                    if(params.use_color) printf(ANSI_BOLD ANSI_COLOR_GREEN);
                    if (scanf("%255[^\n]%n%*c", buf, &n_read) <= 0) {
                        // presumable empty line, consume the newline
-                        scanf("%*c");
+                        std::ignore = scanf("%*c");
                        n_read=0;
                    }
                    if(params.use_color) printf(ANSI_COLOR_RESET);