diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/update/acpolish | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/update/acpolish b/tools/update/acpolish index 307f2ab0be..9b1fc59edd 100755 --- a/tools/update/acpolish +++ b/tools/update/acpolish @@ -186,6 +186,11 @@ sub subst_line $line .= "\n" ; $_ = "$line" ; } + if ( /^(.*)RTEMS_HAS_([A-Z]+)(.*)$/o ) + { + print STDERR "WARNING: Replacing RTEMS_HAS_$2 with HAS_$2\n" ; + $_ = "$1HAS_$2$3\n" ; + } if ( /^.*\$\(make\-exe\).*$/o ) { $make_exe_seen = 1 ; |