#!/bin/bash

EXPTYPES="jaswitch-bochs32-newlib" INPUTS="simple.input" ./mktests