MEDIUM: stats-file: explicitely ignore comments starting by //

Explicitely ignore comments starting by // so they don't emit a warning.
This commit is contained in:
William Lallemand 2024-11-19 15:43:35 +01:00
parent 96f2736e99
commit f36caf7b81
1 changed files with 4 additions and 0 deletions

View File

@ -385,6 +385,10 @@ void apply_stats_file(void)
if (!istlen(istline)) if (!istlen(istline))
continue; continue;
/* comment line starts by // */
if (istmatch(istline, ist("//")) != 0)
continue;
if (*istptr(istline) == '#') { if (*istptr(istline) == '#') {
if (parse_header_line(istline, &st_tree, &domain, cols)) { if (parse_header_line(istline, &st_tree, &domain, cols)) {
if (!valid_format) { if (!valid_format) {