Lines 120-126
Link Here
|
120 |
# Remove the native lib dir |
120 |
# Remove the native lib dir |
121 |
local y=$(remove_element_from_array $(get_libdir) ${x[@]}) |
121 |
local y=$(remove_element_from_array $(get_libdir) ${x[@]}) |
122 |
# Remove libx32 if it exists |
122 |
# Remove libx32 if it exists |
123 |
local z=$(remove_element_from_array "libx32" ${y[@]}) |
123 |
local z=($(remove_element_from_array "libx32" ${y[@]})) |
124 |
# However if the system is not multlib, then we still need to install |
124 |
# However if the system is not multlib, then we still need to install |
125 |
# the 32 bit smlnj executables and libraries somewhere, so I guess we |
125 |
# the 32 bit smlnj executables and libraries somewhere, so I guess we |
126 |
# just have to put them under the system lib directory. Put the |
126 |
# just have to put them under the system lib directory. Put the |