#!/bin/bash
cd External
exec $1
