1diff -uNr sbsigntool/configure.ac sbsigntool-new/configure.ac
2--- sbsigntool/configure.ac 2015-07-05 12:18:18.932717136 +0200
3+++ sbsigntool-new/configure.ac 2015-07-05 14:51:39.659284938 +0200
4@@ -65,7 +65,7 @@
5
6 dnl gnu-efi headers require extra include dirs
7 EFI_ARCH=$(uname -m)
8-EFI_CPPFLAGS="-I/usr/include/efi -I/usr/include/efi/$EFI_ARCH \
9+EFI_CPPFLAGS="-I@@NIX_GNUEFI@@/include/efi -I@@NIX_GNUEFI@@/include/efi/$EFI_ARCH \
10 -DEFI_FUNCTION_WRAPPER"
11 CPPFLAGS_save="$CPPFLAGS"
12 CPPFLAGS="$CPPFLAGS $EFI_CPPFLAGS"
13@@ -74,5 +74,5 @@
14 AC_SUBST(EFI_CPPFLAGS, $EFI_CPPFLAGS)
15
16 AC_CONFIG_FILES([Makefile src/Makefile lib/ccan/Makefile]
17- [docs/Makefile tests/Makefile])
18+ [docs/Makefile])
19 AC_OUTPUT