[ptxdist] [PATCH] glu: fix build optimization

2020-10-05 Thread Lucas Stach
A bug in th configure script caused the package to be built with debug flags when --disable-debug is specified. Signed-off-by: Lucas Stach --- This fix has also been submitted upstream. --- ...bug-parameter-to-properly-handle-dis.patch | 30 +++ patches/glu-9.0.1/autogen.sh

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

2020-10-05 Thread Denis Osterland-Heim
Hi, Am Montag, den 05.10.2020, 14:02 +0200 schrieb Gavin Schenk: > Hi Denis, > > > Am Montag, den 05.10.2020, 13:10 +0200 schrieb 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

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

2020-10-05 Thread Gavin Schenk
Hi Denis, > Am Montag, den 05.10.2020, 13:10 +0200 schrieb 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

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

2020-10-05 Thread Denis Osterland-Heim
Hi, Am Montag, den 05.10.2020, 13:10 +0200 schrieb 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

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

2020-10-05 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

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

2020-10-05 Thread Uwe Kleine-König
Hallo Gavin, On Mon, Oct 05, 2020 at 11:16:16AM +0200, Gavin Schenk wrote: > The directory /media is created depending on PTXCONF_ROOTFS_MEDIA only. I'd write: Ensure that with PTXCONF_ROOTFS_MEDIA set /media is created even if none of PTXCONF_ROOTFS_MEDIA[1-6] is set. (Is that

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

2020-10-05 Thread Gavin Schenk
The directory /media is created depending on PTXCONF_ROOTFS_MEDIA only. On our read-only system we mount a tmpfs on /media, so that we can dynamically create additional mount points. With PTXCONF_ROOTFS_MEDIA set, but none of PTXCONF_ROOTFS_MEDIA[1-6], the /media directory was not created and