1 #! /bin/sh 2 3 # See comment at top of varinfo3.c for why these hacks are necessary 4 5 ./filter_stderr "$@" | 6 sed "s/static_local_def\.[0-9]*/static_local_def\.XXXX/g" | 7 sed "s/static_local_undef\.[0-9]*/static_local_undef\.XXXX/g" 8
1 #! /bin/sh 2 3 # See comment at top of varinfo3.c for why these hacks are necessary 4 5 ./filter_stderr "$@" | 6 sed "s/static_local_def\.[0-9]*/static_local_def\.XXXX/g" | 7 sed "s/static_local_undef\.[0-9]*/static_local_undef\.XXXX/g" 8