This is a csh script for makeing compressed executables.
It requires /bin/csh or a link to /bin/tcsh.

                      Bill