Merge branch 'efi-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel...
[platform/kernel/linux-rpi.git] / tools / scripts /
drwxr-xr-x   ..
-rw-r--r-- 1036 Makefile.arch
-rw-r--r-- 3912 Makefile.include
-rw-r--r-- 5306 utilities.mak