diff options
Diffstat (limited to 'src/usr/secureboot/base/makefile')
| -rw-r--r-- | src/usr/secureboot/base/makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/usr/secureboot/base/makefile b/src/usr/secureboot/base/makefile index 58d79be86..c58c54487 100644 --- a/src/usr/secureboot/base/makefile +++ b/src/usr/secureboot/base/makefile @@ -47,5 +47,7 @@ EXTRAINCDIR += ${ROOTPATH}/src/usr/secureboot/trusted/base VPATH += ${ROOTPATH}/src/usr/secureboot/trusted/base VPATH += ${ROOTPATH}/src/securerom +EXTRAINCDIR += ${ROOTPATH}/src/usr/pnor/ + CFLAGS += -iquote ../ include ${ROOTPATH}/config.mk |
