aboutsummaryrefslogtreecommitdiffstats
path: root/os/nil
diff options
context:
space:
mode:
authorGiovanni Di Sirio <gdisirio@gmail.com>2018-03-17 11:24:50 +0000
committerGiovanni Di Sirio <gdisirio@gmail.com>2018-03-17 11:24:50 +0000
commit0ca35b4b5a8fc67b2222fa0981cb650f1b938f35 (patch)
treee49ed6d3de684705f86b31f090bd5cfd47394a27 /os/nil
parent43433fde0bd127e7857379a2799f538b71796287 (diff)
downloadChibiOS-0ca35b4b5a8fc67b2222fa0981cb650f1b938f35.tar.gz
ChibiOS-0ca35b4b5a8fc67b2222fa0981cb650f1b938f35.tar.bz2
ChibiOS-0ca35b4b5a8fc67b2222fa0981cb650f1b938f35.zip
Removed separated configuration file for oslib.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@11795 110e8d01-0319-4d1e-a829-52ad28d1bb01
Diffstat (limited to 'os/nil')
-rw-r--r--os/nil/include/ch.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/os/nil/include/ch.h b/os/nil/include/ch.h
index 06620573a..b5da42aac 100644
--- a/os/nil/include/ch.h
+++ b/os/nil/include/ch.h
@@ -418,6 +418,11 @@
/* Derived constants and error checks. */
/*===========================================================================*/
+/* License checks.*/
+#if !defined(CH_CUSTOMER_LIC_NIL) || !defined(CH_LICENSE_FEATURES)
+#error "malformed chlicense.h"
+#endif
+
#if CH_CUSTOMER_LIC_NIL == FALSE
#error "ChibiOS/NIL not licensed"
#endif