diff options
-rw-r--r-- | tools/tools/tinderbox/www/index.cgi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tools/tinderbox/www/index.cgi b/tools/tools/tinderbox/www/index.cgi index 89a214d..42bc73c 100644 --- a/tools/tools/tinderbox/www/index.cgi +++ b/tools/tools/tinderbox/www/index.cgi @@ -71,7 +71,7 @@ MAIN:{ opendir(DIR, $DIR) or die("$DIR: $!\n"); foreach (readdir(DIR)) { - next unless m/^tinderbox-(\w+)-(\w+)-(\w+)\./; + next unless m/^tinderbox-(\w+)-(\w+)-(\w+)\.(brief|full)$/; $BRANCHES{$1} = $ARCHES{$2}->{$3} = 1; } closedir(DIR); |