This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / scripts / headers.sh
blob978b42b3acd7e59519bdc74540a180da25e8c607
1 #!/bin/sh
2 # Run headers_$1 command for all suitable architectures
4 # Stop on error
5 set -e
7 do_command()
9 if [ -f ${srctree}/arch/$2/include/asm/Kbuild ]; then
10 make ARCH=$2 KBUILD_HEADERS=$1 headers_$1
11 else
12 printf "Ignoring arch: %s\n" ${arch}
16 archs=${HDR_ARCH_LIST:-$(ls ${srctree}/arch)}
18 for arch in ${archs}; do
19 case ${arch} in
20 um) # no userspace export
22 cris) # headers export are known broken
25 if [ -d ${srctree}/arch/${arch} ]; then
26 do_command $1 ${arch}
29 esac
30 done