diff options
Diffstat (limited to 'src/ee/tools')
| -rw-r--r-- | src/ee/tools/templates/build.ninja.j2 | 6 |
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 |