1#!/bin/csh -f 2# Script to update a Makefile. 3# Usage: chmakefile.csh <Makefile path> 4# 5# ex: chmakefile.csh $psl/Makefile 6 7source ~psl/dist/psl-names 8 9$pdist/chmakehost.csh $1 10 11# End of File. 12