From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Petazzoni Date: Fri, 4 May 2012 17:40:52 +0200 Subject: [Buildroot] [pull request] Pull request for branch for-2012.05/fix-linux-menuconfig Message-ID: List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: buildroot@busybox.net 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