[Buildroot] [pull request] Pull request for branch for-2012.05/fix-linux-menuconfig

[Thomas Petazzoni]

The following changes since commit aa96b4ea99b362decc524a8632c7a2c1a7586e83:

  CHANGES: GDB 4.7.1, not GCC (2012-05-03 23:29:08 +0200)

are available in the git repository at:

  git://git.free-electrons.com/users/thomas-petazzoni/buildroot.git for-2012.05/fix-linux-menuconfig

for you to fetch changes up to a96a992b96d72989cddf72ce8420d6acf28302c3:

  linux: improve the 'make linux-*' special commands (2012-05-04 17:39:10 +0200)

----------------------------------------------------------------
Thomas Petazzoni (1):
      linux: improve the 'make linux-*' special commands

 linux/linux.mk |    8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

Thanks,
-- 
Thomas Petazzoni