Re: [PATCH v4 00/10] an introduction of Linux library operating system (LibOS)
From: Hajime Tazaki
Date: Wed Apr 29 2015 - 19:16:58 EST
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
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/