diff --git a/tools/make_makefiles b/tools/make_makefiles index 513b5b1ba18..05b90dae0e4 100755 --- a/tools/make_makefiles +++ b/tools/make_makefiles @@ -373,6 +373,7 @@ sub update_dlls(@) } else { + die "invalid module $module" unless $module =~ /\./; (my $mod = $module) =~ s/\.dll$//; die "invalid directory $dir for module $module\n" unless $mod eq $dir; $directories{$module} = $dir;