raspi/linux
1
0
Fork 1
mirror of https://github.com/raspberrypi/linux.git synced 2025-12-07 10:29:52 +00:00
Code Issues Projects Releases Wiki Activity
Files
8a27f7c90ffcb791eed7574922b51fb60b08fc89
linux/scripts/namespace.pl
Thomas Gleixner d2c75f2f4b x86: fixup the x86 namespace change in scripts/namespace.pl 
Let namespace.pl look at the correct files.

Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2007-10-11 17:56:02 +02:00

13 KiB
Executable File
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink