/sh/

• ../
• platdep.sh