From bfc863474791af182ea7162e22ff52ec1ae30699 Mon Sep 17 00:00:00 2001 From: Alexandre Julliard Date: Fri, 17 Nov 2017 19:39:59 +0100 Subject: [PATCH] make_makefiles: Ignore files that have been deleted in the index. Signed-off-by: Alexandre Julliard --- tools/make_makefiles | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/make_makefiles b/tools/make_makefiles index 8411ecb5670..f57a7e29a59 100755 --- a/tools/make_makefiles +++ b/tools/make_makefiles @@ -542,6 +542,7 @@ my $git_dir = $ENV{GIT_DIR} || ".git"; die "needs to be run from a git checkout" unless -d $git_dir; my @all_files = split /\0/, `git ls-files -c -z`; +map { $ignored_source_files{$_} = 1; } split /\0/, `git ls-files -d -z`; @makefiles = map { (my $ret = $_) =~ s/\.in$//; $ret; } grep /Makefile.in$/, @all_files; foreach my $file (sort @makefiles)