Merge branch 'ninja' of github.com:pmret/papermario into ninja

2021-01-15 18:19:36 +00:00 · 2021-01-15 18:19:36 +00:00 · 4778ece540
parent a435194cca c918912877
commit 4778ece540
2 changed files with 541 additions and 297 deletions
--- a/diff.py
+++ b/diff.py
--- a/diff_settings.py
+++ b/diff_settings.py
@ -5,4 +5,4 @@ def apply(config, args):
    config['myimg'] = 'papermario.z64'
    config['mapfile'] = 'build/papermario.map'
    config['source_directories'] = ['.']
-    config['makeflags'] = ['COMPARE=0', 'WATCH_INCLUDES=0']
+    config['make_command'] = ['ninja']