Re: undefined sanitizer [was: fixes for running on centos7 under docker]

2018-04-18 Thread Andreas Schneider
On Wednesday, 18 April 2018 09:38:24 CEST Nikos Mavrogiannopoulos wrote: > On Tue, 2018-04-17 at 18:02 +0200, Andreas Schneider wrote: > > On Friday, 13 April 2018 10:53:12 CEST Nikos Mavrogiannopoulos wrote: > > > Hi, > > > > Hi Nikos, > > > > > These small fixes are needed for running the

undefined sanitizer [was: fixes for running on centos7 under docker]

2018-04-18 Thread Nikos Mavrogiannopoulos
On Tue, 2018-04-17 at 18:02 +0200, Andreas Schneider wrote: > On Friday, 13 April 2018 10:53:12 CEST Nikos Mavrogiannopoulos wrote: > > Hi, > > Hi Nikos, > > > These small fixes are needed for running the testsuite under > > docker > > and under centos7. > > Thank you very much for your