/usr/src/cmd/platexec/

• ../
• Makefile
• platexec.sh