#!/bin/csh
# if you think this hack is annoying, you should try running the ports system 
# without it!

exit
