06-simplify-push-dist-common.patch

[Akim Demaille]

Index: ChangeLog
from  Akim Demaille  <address@hidden>
        * automake.in (&push_dist_common): Simplify.

Index: automake.in
--- automake.in Sun, 04 Mar 2001 21:51:47 +0100 akim (am/f/39_automake.i 1.113 
755)
+++ automake.in Sun, 04 Mar 2001 22:39:31 +0100 akim (am/f/39_automake.i 1.113 
755)
@@ -7406,15 +7404,9 @@ sub require_conf_file_with_conf_line
 # Push a list of files onto dist_common.
 sub push_dist_common
 {
-    foreach my $file (@_)
-    {
-       if (! defined $dist_common{$file})
-       {
-           &prog_error ("push_dist_common run after handle_dist")
-               if $handle_dist_run;
-           $dist_common{$file} = 1;
-       }
-    }
+    &prog_error ("push_dist_common run after handle_dist")
+        if $handle_dist_run;
+    grep { $dist_common{$_} = 1 } @_;
 }