Re: [PATCH] split mips/gnu-user.h from mips/linux.h

2011-07-20 Thread Richard Sandiford
Robert Millan r...@debian.org writes: 2011/7/19 Richard Sandiford rdsandif...@googlemail.com: needs to deal with linux64.h as well.  I also kept the copyright notice the same on linux.h (even though it's only a one-liner now). Applied with those changes, thanks. It's probably harmless, but

[PATCH] split mips/gnu-user.h from mips/linux.h

2011-07-19 Thread Robert Millan
Hi! This patch splits those bits from: config/mips/linux.h config/mips/linux64.h which are applicable to GNU userland, into: config/mips/gnu-user.h config/mips/gnu-user64 respectively. It is analogous to the split that was performed for config/i386/* by Joseph Myers in r172271. I've

Re: [PATCH] split mips/gnu-user.h from mips/linux.h

2011-07-19 Thread Richard Sandiford
Robert Millan r...@debian.org writes: This patch splits those bits from: config/mips/linux.h config/mips/linux64.h which are applicable to GNU userland, into: config/mips/gnu-user.h config/mips/gnu-user64 respectively. It is analogous to the split that was performed for config/i386/*

Re: [PATCH] split mips/gnu-user.h from mips/linux.h

2011-07-19 Thread Robert Millan
Hi Richard, Thanks for committing! Just one small note: 2011/7/19 Richard Sandiford rdsandif...@googlemail.com: needs to deal with linux64.h as well.  I also kept the copyright notice the same on linux.h (even though it's only a one-liner now). Applied with those changes, thanks. It's