1 2 3 4 5 6 7
#!/usr/bin/bash path=`dirname $0` . "$path/SETUP.sh" extra_flags="" extra_configs="$max_configs" . "$path/FINISH.sh"