On Tue, Mar 25, 2008 at 9:15 AM, Bart Van Assche
<bart.vanassche@gmail.com> wrote:
Found the cause: apparently this is what happens when the path
containing the kernel source tree contains a colon. Renaming the
kernel source tree directory solved this issue.
Bart.
--