#!/usr/local/bin/bash
make netbsd "OPT=-DMM_PANIX"
