Re: [Minios-devel] [UNIKRAFT/PYTHON3 PATCH v3 11/14] Makefile.uk: Add rule for creating root filesystem

[Felipe Huici <Felipe.Huici@xxxxxxxxx>]

I mean that it's not clear whether the user needs to create the directory or 
the make target creates it for them (it's not clear in the README.md, this is a 
minor usability comment).

On 08.10.19, 17:26, "Costin Lupu" <costin.lupu@xxxxxxxxx> wrote:

    On 10/7/19 10:22 AM, Felipe Huici wrote:
    > Hi Costin,
    > 
    > It might be good to create the directory if one is not there, that would 
be more user friendly (the README.md is a bit vague about this).
    
    I'm not sure I follow. The directory should be the user's choice. Maybe
    it's better to clarify the information in the README.
    
    Costin
    

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