| 154 |
|
case 2: # HP workstation |
| 155 |
|
set mach="" |
| 156 |
|
set opt="-O -DSPEED=80 -Aa -D_HPUX_SOURCE" |
| 157 |
< |
set compat="malloc.o getpagesize.o strcmp.o" |
| 157 |
> |
set compat="bmalloc.o getpagesize.o strcmp.o" |
| 158 |
|
set arch=hpux |
| 159 |
|
breaksw |
| 160 |
|
case 3: # Silicon Graphics |
| 178 |
|
set mach="-w" |
| 179 |
|
set opt="-O2 -DSPEED=200" |
| 180 |
|
set special="ogl" |
| 181 |
< |
set compat="malloc.o strcmp.o" |
| 181 |
> |
set compat="bmalloc.o strcmp.o" |
| 182 |
|
breaksw |
| 183 |
|
endsw |
| 184 |
|
breaksw |
| 328 |
|
foreach i ( $* ) |
| 329 |
|
if ( "$i" == clean ) then |
| 330 |
|
echo "Removing library archives..." |
| 331 |
< |
rm -f src/lib/*.a |
| 331 |
> |
rm -f src/lib/*.[ao] |
| 332 |
|
endif |
| 333 |
|
end |
| 334 |
|
exit 0 |