altos: Rename 'core' to 'kernel'

[fw/altos] / src / telemini-v1.0 / .sdcdbrc

diff --git a/src/telemini-v1.0/.sdcdbrc b/src/telemini-v1.0/.sdcdbrc
index 710b4a2f81a006199805bc2149605d33b66e0aee..2c77e32b9ebaf291d12a62dd5ec012a9d6bba055 100644 (file)
--- a/src/telemini-v1.0/.sdcdbrc
+++ b/src/telemini-v1.0/.sdcdbrc
@@ -1 +1,2 @@
---directory=..
+--directory=../cc1111:../product:../kernel:../drivers:.
+