25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
-
-
+
+
-
|
free)
if ! echo " ${alloclist} " | grep " ${addr} " >/dev/null; then
if [ -z "${alloclist}" ]; then
alloclist="!${addr}"
else
alloclist="${alloclist} !${addr}"
fi
continue
else
alloclist="$(echo " ${alloclist} " | sed "s@ ${addr} @ @;s@^ *@@;s@ *\$@@")"
fi
alloclist="$(echo " ${alloclist} " | sed "s@ ${addr} @ @;s@^ *@@;s@ *\$@@")"
|