From 76db48d19a872717b8c398681244f050bc68f536 Mon Sep 17 00:00:00 2001 From: Alessandro Angelino Date: Fri, 27 Jan 2017 16:01:40 +0000 Subject: [PATCH] Emit error if target is unsupported --- source/main-hw.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/source/main-hw.h b/source/main-hw.h index 4c78497..f3d04c5 100644 --- a/source/main-hw.h +++ b/source/main-hw.h @@ -75,6 +75,10 @@ {(void *) 0x42000000, 0x01000000, UVISOR_TACLDEF_PERIPH}, /* FIXME */ \ } +#else /* Target-specific settings */ + +#error "Unsupported target. Checkout the README.md file for the list of supported targets for this app." + #endif /* Target-specific settings */ #endif /* __UVISOR_HELLOWORLD_MAIN_HW_H__ */