Re: redirecting *.hi

[Marc van Dongen]

Sergey:

One small correction:

The sed script should be:

sed -e 's/.*\/\([^\/][^\/]*\)\.hs/$(E)\/\1.o, $(E)\/\1.hi/'


Of course:

:g/.*\/\([^\/][^\/]*\)\.hs/s//$(E)\/\1.o, $(E)\/\1.hi/

in vi should also work.


Regards,


Marc