papermario/diff_settings.py
2021-01-16 02:00:00 +09:00

9 lines
253 B
Python

#!/usr/bin/env python3
def apply(config, args):
config['baseimg'] = 'baserom.z64'
config['myimg'] = 'papermario.z64'
config['mapfile'] = 'build/papermario.map'
config['source_directories'] = ['.']
config['make_command'] = ['ninja']