version 1.485, 2016/05/29 15:36:06 |
version 1.486, 2016/07/10 09:08:18 |
|
|
# Re-link libraries, placing the objects in a random order. |
# Re-link libraries, placing the objects in a random order. |
reorder_libs() { |
reorder_libs() { |
local _l _liba _libas _tmpdir _remount=false _error=false |
local _l _liba _libas _tmpdir _remount=false _error=false |
local _dkdev=/dev/$(stat -L -f '%Sd' /usr/lib) |
local _dkdev=$(df /usr/lib | sed '1d;s/ .*//') |
local _mp=$(mount | grep "^$_dkdev") |
local _mp=$(mount | grep "^$_dkdev") |
|
|
# Skip if /usr/lib is on a nfs mounted filesystem. |
# Skip if /usr/lib is on a nfs mounted filesystem. |