Re: [ptxdist] [PATCH v3] rootfs: Fix creation of the /media directory

2020-10-09 Thread Michael Olbrich
On Thu, Oct 08, 2020 at 09:32:53AM +0200, Gavin Schenk wrote: > Ensure that with PTXCONF_ROOTFS_MEDIA set directory '/media' is created > even if none of PTXCONF_ROOTFS_MEDIA[1-6] is set. > > On our read-only system we mount a tmpfs on directory '/media' in order > to dynamically create additional

Re: [ptxdist] [PATCH v3] rootfs: Fix creation of the /media directory

2020-10-08 Thread Uwe Kleine-König
On Thu, Oct 08, 2020 at 09:32:53AM +0200, Gavin Schenk wrote: > Ensure that with PTXCONF_ROOTFS_MEDIA set directory '/media' is created > even if none of PTXCONF_ROOTFS_MEDIA[1-6] is set. > > On our read-only system we mount a tmpfs on directory '/media' in order > to dynamically create additional

[ptxdist] [PATCH v3] rootfs: Fix creation of the /media directory

2020-10-08 Thread Gavin Schenk
Ensure that with PTXCONF_ROOTFS_MEDIA set directory '/media' is created even if none of PTXCONF_ROOTFS_MEDIA[1-6] is set. On our read-only system we mount a tmpfs on directory '/media' in order to dynamically create additional mount points there. Fixes: 63e2d8696 (rootfs: don't create empty /medi