#!/bin/sh
#
if [ $# -ne 3 ]; then
	echo "This script should only be run by the Makefile."
	exit 1
fi

# First arg is top level ports directory, second is current directory,
# third is the directory containing the dist.
#
PDIR=$1
CDIR=$2
WDIR=$3