diff options
| author | rozlette <uberpanzermensch@gmail.com> | 2020-03-02 00:21:16 -0600 |
|---|---|---|
| committer | rozlette <uberpanzermensch@gmail.com> | 2020-03-02 00:21:16 -0600 |
| commit | 5037e2da8d1bc77a34e31b4b3692e0fb64cd4753 (patch) | |
| tree | 6a8fdb6aab29c5df4c70a6eb340772a1a100769d /diff_settings.py | |
| parent | ccd564e2b5ae6374e25cc2241cf3b9bf6532bd0c (diff) | |
Set up diff script
Diffstat (limited to 'diff_settings.py')
| -rw-r--r-- | diff_settings.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/diff_settings.py b/diff_settings.py new file mode 100644 index 000000000..784286ddc --- /dev/null +++ b/diff_settings.py @@ -0,0 +1,7 @@ +#!/usr/bin/env python3 + +def apply(config, args): + config['baseimg'] = 'baserom.z64' + config['myimg'] = 'rom.z64' + config['mapfile'] = 'build/mm.map' + config['source_directories'] = ['./src','./include'] |