diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check-uapi.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/check-uapi.sh b/scripts/check-uapi.sh index e4d120eb09e3..c8beec58871c 100755 --- a/scripts/check-uapi.sh +++ b/scripts/check-uapi.sh @@ -191,6 +191,7 @@ do_compile() { -fno-eliminate-unused-debug-types \ -g \ "-I${inc_dir}" \ + "-Iusr/dummy-include" \ -include "$header" \ - } |