#!/bin/csh -f
# make_extdiv: generate variable partitioning

echo ""
echo ">>> Making an external division"
echo ""

(cd ../util ; make )
../util/gendiv
