#! /bin/csh -f

set platform = `uname -a`

set os = $platform[1]

if ( $os == OSF1 ) then
	gm4 $*
else

if ( $os == Linux ) then
	m4 $*
else

echo "Need to fix th/m4 script to find gm4 or m4 for $os"
endif
endif
