#!/bin/sh rm -rf tmp mkdir tmp ln -s ../data/facet1.poly tmp/facet.poly ln -s ../data/facelat1.poly tmp/facelat.poly ln -s ../data/ineq2.poly tmp/ineq2.poly