#!/bin/bash if [ $REF ]; then CIVCC=bin32/civcc else CIVCC=./civicc fi CIVAS=bin32/civas CIVVM=bin32/civvm $CIVCC -o _tmp.s ${@:2} $1 $CIVAS -o _tmp.out _tmp.s $CIVVM _tmp.out rm _tmp.s _tmp.out
