#!/bin/sh # tail part of configure # # by junker@jazz.snu.ac.kr # PortsDir=$PORTSDIR CurDir=$CURDIR WrkSrc=$WRKSRC Prefix=$PREFIX echo "prefix is $PREFIX" # read configuration . ./config.sh echo " " echo "Doing variable substitutions on .SH files..." set x `awk '{print $1}'