From 67dc83fa75e2009b4b6bd5d7f005adcaf45d0c77 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Mon, 18 Jun 2018 16:17:11 -0400 Subject: New check-spaces rule: Our C files may not have duplicate names. --- scripts/maint/checkSpace.pl | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'scripts/maint') diff --git a/scripts/maint/checkSpace.pl b/scripts/maint/checkSpace.pl index 4f4ac9b0e5..633b47e314 100755 --- a/scripts/maint/checkSpace.pl +++ b/scripts/maint/checkSpace.pl @@ -16,12 +16,21 @@ if ($ARGV[0] =~ /^-/) { $C = ($lang eq '-C'); } +our %basenames = (); + for my $fn (@ARGV) { open(F, "$fn"); my $lastnil = 0; my $lastline = ""; my $incomment = 0; my $in_func_head = 0; + my $basename = $fn; + $basename =~ s#.*/##; + if ($basenames{$basename}) { + msg "Duplicate fnames: $fn and $basenames{$basename}.\n"; + } else { + $basenames{$basename} = $fn; + } while () { ## Warn about windows-style newlines. # (We insist on lines that end with a single LF character, not -- cgit v1.2.3-54-g00ecf