/platform/linux/scripts/

• ../
• after_script.sh
• configure.sh
• defaults.mk
• install.sh
• run.sh
• setup.sh
• tidy.sh