diff options
Diffstat (limited to 'extra/scripts')
| -rwxr-xr-x | extra/scripts/gen_bits_syscall_h.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/extra/scripts/gen_bits_syscall_h.sh b/extra/scripts/gen_bits_syscall_h.sh index f6353baa2..4d42f6949 100755 --- a/extra/scripts/gen_bits_syscall_h.sh +++ b/extra/scripts/gen_bits_syscall_h.sh @@ -15,7 +15,12 @@ # # Warning!!! This does _no_ error checking!!! -INCLUDE_OPTS="-nostdinc -I${KERNEL_HEADERS}" +if [ "${KERNEL_HEADERS:-/}" != "/" ] ; then + INCLUDE_OPTS="-nostdinc -I${KERNEL_HEADERS}" +else + # Let the toolchain use its configure paths. + INCLUDE_OPTS= +fi case $CC in *icc*) CC_SYSNUM_ARGS="-dM" ;; |