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