Sangbida Chaudhuri 7b1c4874ed makefile: use SED from configure in most places. ...

Some simple cases are left alone, but anything called from make uses $SED.

2025-10-17 10:40:17 +10:30

..

fail

…

cowsay.sh

…

helloworld.py

…