--- gcc/fixincludes 2018/04/24 16:47:39 1.1.1.7 +++ gcc/fixincludes 2018/04/24 16:48:31 1.1.1.8 @@ -26,10 +26,14 @@ for file in $files; do ex ${LIB}/$file </dev/null 2>&1; then + echo Deleting ${LIB}/$file\; no fixes were needed. + rm ${LIB}/$file + fi fi fi done @@ -53,4 +57,4 @@ if [ -r ${LIB}/sundev/vuid_event.h ]; th g/doesn't/s/doesn't/doesn''t/ wq EOF -fi \ No newline at end of file +fi