#!/bin/bash

tao-makefile-ui --makefile "$@"
