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 |