[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] turn grub-emu into a port
From: |
Robert Millan |
Subject: |
Re: [PATCH] turn grub-emu into a port |
Date: |
Mon, 9 Nov 2009 23:50:15 +0100 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
On Sat, Oct 31, 2009 at 12:08:55AM +0100, Vladimir 'phcoder' Serbinenko wrote:
> Following hunk is a regression for me:
> - return (tv.tv_sec * GRUB_TICKS_PER_SECOND
> - + (((tv.tv_sec % GRUB_TICKS_PER_SECOND) * 1000000 + tv.tv_usec)
> - * GRUB_TICKS_PER_SECOND / 1000000));
> + GRUB_COMPILE_TIME_ASSERT (GRUB_TICKS_PER_SECOND == 1000000);
> + return (tv.tv_sec * 1000000 + tv.tv_usec);
> Having virtual clock going at any rate is an advantage for debugging.
> Other than this I'm ok with this patch and you can merge it into
> experimental
Fixed and merged in exp.
--
Robert Millan
The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
how) you may access your data; but nobody's threatening your freedom: we
still allow you to remove your data and not access it at all."
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [PATCH] turn grub-emu into a port,
Robert Millan <=