index
:
oasis.git
master
Unnamed repository; edit this file 'description' to name the repository.
Mike Vink
summary
refs
log
tree
commit
diff
log msg
author
committer
range
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
-rw-r--r--
config.rc
2
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
}