you need a `make` for `mrf` anyway, so just use that one instead?

```python
...
premakeopts += 'cd mrf && export BIOINFOCONFDIR=../bios/conf/'
```

and then drop the `echo` hack?