Re: HOST_* flags are not used by gnulib

2014-07-27 Thread Mike Gilbert
On Wed, Jul 23, 2014 at 3:41 AM, Vladimir 'φ-coder/phcoder' Serbinenko phco...@gmail.com wrote: On 03.04.2014 20:01, Andrey Borzenkov wrote: I noticed that host flags are not propagated to gnulib. This does not feel right; in particular I noticed it because attempt to enable debugging for host

Re: HOST_* flags are not used by gnulib

2014-07-27 Thread Vladimir 'phcoder' Serbinenko
On 27 Jul 2014 20:07, Mike Gilbert flop...@gentoo.org wrote: On Wed, Jul 23, 2014 at 3:41 AM, Vladimir 'φ-coder/phcoder' Serbinenko phco...@gmail.com wrote: On 03.04.2014 20:01, Andrey Borzenkov wrote: I noticed that host flags are not propagated to gnulib. This does not feel right; in

Re: HOST_* flags are not used by gnulib

2014-07-27 Thread Mike Gilbert
On Sun, Jul 27, 2014 at 2:10 PM, Vladimir 'phcoder' Serbinenko phco...@gmail.com wrote: On 27 Jul 2014 20:07, Mike Gilbert flop...@gentoo.org wrote: On Wed, Jul 23, 2014 at 3:41 AM, Vladimir 'φ-coder/phcoder' Serbinenko phco...@gmail.com wrote: On 03.04.2014 20:01, Andrey Borzenkov wrote:

Re: HOST_* flags are not used by gnulib

2014-07-27 Thread Andrey Borzenkov
В Sun, 27 Jul 2014 14:24:07 -0400 Mike Gilbert flop...@gentoo.org пишет: On Sun, Jul 27, 2014 at 2:10 PM, Vladimir 'phcoder' Serbinenko phco...@gmail.com wrote: On 27 Jul 2014 20:07, Mike Gilbert flop...@gentoo.org wrote: On Wed, Jul 23, 2014 at 3:41 AM, Vladimir 'φ-coder/phcoder'

Re: HOST_* flags are not used by gnulib

2014-07-27 Thread Vladimir 'φ-coder/phcoder' Serbinenko
On 27.07.2014 20:39, Andrey Borzenkov wrote: В Sun, 27 Jul 2014 14:24:07 -0400 Mike Gilbert flop...@gentoo.org пишет: On Sun, Jul 27, 2014 at 2:10 PM, Vladimir 'phcoder' Serbinenko phco...@gmail.com wrote: On 27 Jul 2014 20:07, Mike Gilbert flop...@gentoo.org wrote: On Wed, Jul 23, 2014

Re: HOST_* flags are not used by gnulib

2014-07-27 Thread Andrey Borzenkov
В Sun, 27 Jul 2014 20:42:36 +0200 Vladimir 'φ-coder/phcoder' Serbinenko phco...@gmail.com пишет: On 27.07.2014 20:39, Andrey Borzenkov wrote: В Sun, 27 Jul 2014 14:24:07 -0400 Mike Gilbert flop...@gentoo.org пишет: On Sun, Jul 27, 2014 at 2:10 PM, Vladimir 'phcoder' Serbinenko

Re: HOST_* flags are not used by gnulib

2014-07-27 Thread Mike Gilbert
On Sun, Jul 27, 2014 at 2:48 PM, Andrey Borzenkov arvidj...@gmail.com wrote: В Sun, 27 Jul 2014 20:42:36 +0200 Vladimir 'φ-coder/phcoder' Serbinenko phco...@gmail.com пишет: On 27.07.2014 20:39, Andrey Borzenkov wrote: В Sun, 27 Jul 2014 14:24:07 -0400 Mike Gilbert flop...@gentoo.org

Re: HOST_* flags are not used by gnulib

2014-07-27 Thread Andrey Borzenkov
В Wed, 23 Jul 2014 09:41:38 +0200 Vladimir 'φ-coder/phcoder' Serbinenko phco...@gmail.com пишет: On 03.04.2014 20:01, Andrey Borzenkov wrote: I noticed that host flags are not propagated to gnulib. This does not feel right; in particular I noticed it because attempt to enable debugging for

Re: HOST_* flags are not used by gnulib

2014-07-24 Thread Vladimir 'φ-coder/phcoder' Serbinenko
On 03.04.2014 20:01, Andrey Borzenkov wrote: I noticed that host flags are not propagated to gnulib. This does not feel right; in particular I noticed it because attempt to enable debugging for host tools (HOST_CFLAGS=-g) did not work for gnulib files. It should be just CFLAGS (refer to

HOST_* flags are not used by gnulib

2014-04-03 Thread Andrey Borzenkov
I noticed that host flags are not propagated to gnulib. This does not feel right; in particular I noticed it because attempt to enable debugging for host tools (HOST_CFLAGS=-g) did not work for gnulib files. Is it intentional? ___ Grub-devel mailing