summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config.rc2
1 files changed, 2 insertions, 0 deletions
diff --git a/config.rc b/config.rc
index 2e6ec332..a6a6c51e 100644
--- a/config.rc
+++ b/config.rc
@@ -2,6 +2,8 @@ fn fs {
switch($1) {
case core/*
! ~ $2 include/* lib/*.a
+ case util .
+ true
case *
false
}