papermario/diff_settings.py

#!/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['makeflags'] = ['COMPARE=0', 'WATCH_INCLUDES=0']
Cleanup and one match 2020-06-25 18:03:00 +02:00			`#!/usr/bin/env python3`

			`def apply(config, args):`
meow 2020-08-13 04:56:47 +02:00			`config['baseimg'] = 'baserom.z64'`
Cleanup and one match 2020-06-25 18:03:00 +02:00			`config['myimg'] = 'papermario.z64'`
			`config['mapfile'] = 'build/papermario.map'`
			`config['source_directories'] = ['.']`
watch includes 2020-10-28 22:34:04 +01:00			`config['makeflags'] = ['COMPARE=0', 'WATCH_INCLUDES=0']`