awk -F: '{printf "%ds,$, // UNTESTED,\n", $2}' |
sed -i -e 's,[ ]*// UNTESTED$,,' -f - "$b"
grep '[0-8]: *[1-9][0-9]*:.*// NOTEST$' "$i" |
awk -F: '{printf "%ds,$, // UNTESTED,\n", $2}' |
sed -i -e 's,[ ]*// UNTESTED$,,' -f - "$b"
grep '[0-8]: *[1-9][0-9]*:.*// NOTEST$' "$i" |