christos dff27399c2 $HOST_SH does not necessarily contains the absolute path to sh. Fix it if ... it does not.		2007-11-24 18:44:00 +00:00
..
Makefile	…