2 files changed, 5 insertions, 0 deletions
diff --git a/Build-tools/mysql-copyright b/Build-tools/mysql-copyright
index ad4547b493c..a1869304ba7 100755
--- a/Build-tools/mysql-copyright
+++ b/Build-tools/mysql-copyright
@@ -125,6 +125,10 @@ sub main
         print "\"./configure\" was not produced, exiting!\n";
         exit(0);
       }
+      if (-d "autom4te.cache") {
+        print "Trying to delete autom4te.cache dir\n" if $opt_verbose;
+        system("rm -rf autom4te.cache") or print "Unable to delete autom4te.cache dir: $!\n";
+      }
     }
 
     # fix file copyrights
diff --git a/Build-tools/mysql-copyright-2 b/Build-tools/mysql-copyright-2
index a1a870526da..2ea2e8ef441 100755
--- a/Build-tools/mysql-copyright-2
+++ b/Build-tools/mysql-copyright-2
@@ -90,6 +90,7 @@ sub add_copyright
 	 $ARGV =~ /\.cc$/ ||
 	 $ARGV =~ /\.h$/ ||
 	 $ARGV =~ /\.cpp$/ ||
+	 $ARGV =~ /\.txt$/ ||
 	 $ARGV =~ /\.yy$/)
   {
     $start_copyright="/* ";