Re: [Minios-devel] [PATCH] build: change MINI-OS_ROOT to MINI_OS_ROOT

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>]

Hello,

It seems other variables are called MINIOS_*, so I'd say use
MINIOS_ROOT.  Appart from that nitpick,

Acked-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>

Samuel

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel