aboutsummaryrefslogtreecommitdiff
path: root/src/ee/tools
diff options
context:
space:
mode:
Diffstat (limited to 'src/ee/tools')
-rw-r--r--src/ee/tools/templates/build.ninja.j26
1 files changed, 5 insertions, 1 deletions
diff --git a/src/ee/tools/templates/build.ninja.j2 b/src/ee/tools/templates/build.ninja.j2
index e8ce404..5c94d3e 100644
--- a/src/ee/tools/templates/build.ninja.j2
+++ b/src/ee/tools/templates/build.ninja.j2
@@ -34,7 +34,11 @@ rule part-apply-souffle-pre
command = $ee part-apply-souffle-pre {{ log }} --in $in --work $work
rule souffle
- command = souffle -F $work/in -D $work/out -I $work -I "{{ souffle_ee_src }}" $in
+ command = souffle $
+ -F $work/in -D $work/out $
+ --no-warn $
+ -I $work $
+ -I "{{ souffle_ee_src }}" $in
rule part-apply-souffle-post
command = $ee part-apply-souffle-post {{ log }} --in $in_sch --out $out --work $work