254,260c254,259
< if not env['ALPHA_TLASER']:
< configs += ['tsunami-simple-atomic',
< 'tsunami-simple-timing',
< 'tsunami-simple-atomic-dual',
< 'tsunami-simple-timing-dual',
< 'twosys-tsunami-simple-atomic',
< 'tsunami-o3', 'tsunami-o3-dual']
---
> configs += ['tsunami-simple-atomic',
> 'tsunami-simple-timing',
> 'tsunami-simple-atomic-dual',
> 'tsunami-simple-timing-dual',
> 'twosys-tsunami-simple-atomic',
> 'tsunami-o3', 'tsunami-o3-dual']