No, I take that back: we _do_ have a mechanism for suppressing reads
[u/mdw/putty] / configure
1 #!/bin/sh
2
3 $(echo "$0" | sed '$s!configure$!unix/configure!') "$@"