#!/bin/bash

set -e

make --always-make -f Makefile ${1} opgui && make --always-make -f Makefile ${1} op