--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/config/mh-lynxrs6k Fri Jul 17 14:47:48 2009 +0900 @@ -0,0 +1,2 @@ +# /bin/sh is too buggy, so use /bin/bash instead. +SHELL = /bin/bash