At 07:49 PM 10/30/2003, Vo, Tony wrote:
Workaround is change the DIR=... lines in serctl to
path to ser.
>>Tony>> I've tried this and no luck.....
well, then try something else. perhaps watching the serctl execution
could help (replace leading line #!/bin/sh with #!/bin/sh -x)
-jiri