I don't understand the reasoning in this bug report. nowebm uses nawk, which is not provided by original-awk, so it is irelivant if original-awk is installed, or what /usr/bin/awk points to.
This bug can be fixed simply by making noweb depend on gawk, which provides the nawk program via alternatives. -- see shy jo
signature.asc
Description: Digital signature
