Re: [PATCH v4 00/10] an introduction of Linux library operating system (LibOS)

[Hajime Tazaki]

At Mon, 27 Apr 2015 09:39:20 +0200,
Richard Weinberger wrote:

> > Hmm, it still does not build. This time I got:
> > 
> >   CC      kernel/time/time.o
> > In file included from kernel/time/time.c:44:0:
> > kernel/time/timeconst.h:11:2: error: #error "kernel/timeconst.h has the wrong HZ value!"
> >  #error "kernel/timeconst.h has the wrong HZ value!"
> >   ^
> > arch/lib/Makefile:187: recipe for target 'kernel/time/time.o' failed
> > make: *** [kernel/time/time.o] Error 1
> 
> A make mrproper made the issue go away.
> Please use kbuild. :)

thanks for the report.

it's been fixed and I added a test (locally) to avoid
further regressions.

-- Hajime
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/