3 files changed, 1 insertions, 1 deletions
diff --git a/example/tools b/example/tools
deleted file mode 120000
index add5f73..0000000
--- a/example/tools
+++ /dev/null
@@ -1 +0,0 @@
-../mk
-\ No newline at end of file
diff --git a/example/tools/Kconfiglib b/example/tools/Kconfiglib
new file mode 160000
+Subproject a74dfcfaf14ea8a22866df725e757d7c901255d
diff --git a/example/tools/mk b/example/tools/mk
new file mode 120000
index 0000000..fdcfb78
--- /dev/null
+++ b/example/tools/mk
@@ -0,0 +1 @@
+../../mk
+\ No newline at end of file