On 12/05/2014 07:29 AM, Adam Brightwell wrote:
> All,
>
> I've noticed that 'check-world' fails for dummy_seclabel after a 'clean'.
> I believe that in commit da34731, the EXTRA_CLEAN statement should have
> been removed from 'src/test/modules/dummy_seclabel/Makefile' as well.
Ah, that's why those files kept disappearing.
> Attached is a proposed patch that addresses this issue.
Applied, thanks!
- Heikki
