1 files changed, 30 insertions, 0 deletions
diff --git a/tools/update/rtems-polish.sh b/tools/update/rtems-polish.sh
new file mode 100755
index 0000000000..fe8604e972
--- /dev/null
+++ b/tools/update/rtems-polish.sh
@@ -0,0 +1,30 @@
+#!/bin/sh
+
+pwd=`pwd`;
+
+ac_files=`find . -name Makefile.in`;
+for f in $ac_files; do
+  i=`dirname $f`
+  dest="$i"
+  if test ! -f $dest/Makefile.am; then
+    echo "polishing : $dest/Makefile.in"
+    ( cd $dest; 
+      mv Makefile.in Makefile.in~;
+      $pwd/c/update-tools/acpolish <Makefile.in~ >Makefile.in
+      rm Makefile.in~
+    )
+  fi
+done
+
+am_files=`find . -name Makefile.am`;
+for f in $am_files; do
+  i=`dirname $f`
+  dest="$i"
+    echo "polishing : $dest/Makefile.am"
+    ( cd $dest; 
+      mv Makefile.am Makefile.am~;
+      $pwd/c/update-tools/ampolish <Makefile.am~ >Makefile.am
+      rm Makefile.am~
+    )
+done
+