2006-09-13 22:09:04 -07:00
|
|
|
#!/usr/bin/bash
|
2005-05-18 15:23:29 +04:00
|
|
|
path=`dirname $0`
|
2006-09-13 22:09:04 -07:00
|
|
|
. "$path/SETUP.sh"
|
|
|
|
extra_flags="$debug_cflags"
|
|
|
|
extra_configs="$debug_configs $max_configs"
|
2001-11-28 02:55:52 +02:00
|
|
|
|
2006-09-13 22:09:04 -07:00
|
|
|
. "$path/FINISH.sh"
|