papermario/diff_settings.py

9 lines
274 B
Python
Raw Normal View History

2020-06-25 18:03:00 +02:00
#!/usr/bin/env python3
def apply(config, args):
2020-08-13 04:56:47 +02:00
config['baseimg'] = 'baserom.z64'
2020-06-25 18:03:00 +02:00
config['myimg'] = 'papermario.z64'
config['mapfile'] = 'build/papermario.map'
config['source_directories'] = ['.']
2020-10-28 22:34:04 +01:00
config['makeflags'] = ['COMPARE=0', 'WATCH_INCLUDES=0']