143,144d142
< isa_desc_builder = Builder(action=python + ' $SOURCES $TARGET.dir $CPU_MODELS',
< emitter = isa_desc_emitter)
145a144,152
> # Also include the CheckerCPU as one of the models if it is being
> # enabled via command line.
> if env['USE_CHECKER']:
> isa_desc_builder = Builder(action=python + ' $SOURCES $TARGET.dir $CPU_MODELS CheckerCPU',
> emitter = isa_desc_emitter)
> else:
> isa_desc_builder = Builder(action=python + ' $SOURCES $TARGET.dir $CPU_MODELS',
> emitter = isa_desc_emitter)
>