2001-04-09 21:08:35 +02:00
|
|
|
#! /bin/sh
|
|
|
|
|
|
|
|
path=`dirname $0`
|
|
|
|
. "$path/SETUP.sh"
|
|
|
|
|
2007-08-16 02:10:16 +02:00
|
|
|
extra_flags="$pentium_cflags $gprof_compile_flags"
|
|
|
|
extra_configs="$pentium_configs $debug_configs $gprof_link_flags"
|
2001-04-09 21:08:35 +02:00
|
|
|
|
|
|
|
. "$path/FINISH.sh"
|