x86/mm: Support boot-time switching of paging modes in the early boot code
[linux/fpc-iii.git] / scripts / headers.sh
blobe0f883eb39a2e197bac4da0d97d481361663934f
1 #!/bin/sh
2 # SPDX-License-Identifier: GPL-2.0
3 # Run headers_$1 command for all suitable architectures
5 # Stop on error
6 set -e
8 do_command()
10 if [ -f ${srctree}/arch/$2/include/asm/Kbuild ]; then
11 make ARCH=$2 KBUILD_HEADERS=$1 headers_$1
12 else
13 printf "Ignoring arch: %s\n" ${arch}
17 archs=${HDR_ARCH_LIST:-$(ls ${srctree}/arch)}
19 for arch in ${archs}; do
20 case ${arch} in
21 um) # no userspace export
24 if [ -d ${srctree}/arch/${arch} ]; then
25 do_command $1 ${arch}
28 esac
29 done