altos: Rename 'core' to 'kernel'

[fw/altos] / src / product / Makefile.telemini

diff --git a/src/product/Makefile.telemini b/src/product/Makefile.telemini
index 0884079eb701543cc090c3e0ea7358b0c4ac1123..ff8b9d5649d83e0e9fad17f9710cfe8730e9df03 100644 (file)
--- a/src/product/Makefile.telemini
+++ b/src/product/Makefile.telemini
@@ -4,8 +4,8 @@
 # Define TELEMINI_VER and TELEMINI_DEF and then
 # include this file
 
-vpath %.c ..:../core:../cc1111:../drivers:../product
-vpath %.h ..:../core:../cc1111:../drivers:../product
+vpath %.c ..:../kernel:../cc1111:../drivers:../product
+vpath %.h ..:../kernel:../cc1111:../drivers:../product
 vpath ao-make-product.5c ../util
 
 ifndef VERSION