1 2 3 4 5 6 7 8
#! /bin/sh path=`dirname $0` . "$path/SETUP.sh" extra_flags="$amd64_cflags $fast_cflags -g" extra_configs="$amd64_configs $max_configs" . "$path/FINISH.sh"