9 |
# modified by aja 01/00 |
# modified by aja 01/00 |
10 |
|
|
11 |
# Default lists |
# Default lists |
12 |
set DISABLE = ( aim autodiff cal cost ctrl ecco exf grdchk flt ) |
set DISABLE = ( aim autodiff cal cost ctrl ecco exf grdchk flt ptracers ) |
13 |
set DEFINES = ( ) |
set DEFINES = ( ) |
14 |
set ENABLE = ( ) |
set ENABLE = ( ) |
15 |
set MODS = ( ) |
set MODS = ( ) |
257 |
echo Adding pkg dir: $adr |
echo Adding pkg dir: $adr |
258 |
set SOURCEDIRS = ($SOURCEDIRS $adr) |
set SOURCEDIRS = ($SOURCEDIRS $adr) |
259 |
set INCLUDEDIRS = ($INCLUDEDIRS $adr) |
set INCLUDEDIRS = ($INCLUDEDIRS $adr) |
260 |
|
switch ($dr) |
261 |
|
case ptracers: |
262 |
|
set DEFINES = ($DEFINES '-DALLOW_PTRACERS'); breaksw |
263 |
|
default: |
264 |
|
breaksw |
265 |
|
endsw |
266 |
else |
else |
267 |
echo " *" Package \"$dr\" NOT enabled. |
echo " *" Package \"$dr\" NOT enabled. |
268 |
switch ($dr) |
switch ($dr) |