diff options
Diffstat (limited to 'src/lib/Makefile.inc')
| -rw-r--r-- | src/lib/Makefile.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lib/Makefile.inc b/src/lib/Makefile.inc index 5079bbfea5..e05b3fcc5d 100644 --- a/src/lib/Makefile.inc +++ b/src/lib/Makefile.inc @@ -15,6 +15,10 @@ subdirs-y += loaders subdirs-y += gnat +ifeq ($(CONFIG_UBSAN),y) +ramstage-y += ubsan.c +CFLAGS_ramstage += -fsanitize=undefined +endif ifneq ($(CONFIG_BOOTBLOCK_CUSTOM),y) bootblock-y += bootblock.c |