diff options
Diffstat (limited to '')
-rwxr-xr-x | tools/update/rtems-polish.sh | 30 |
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 + |