|
Lines 61-67
Link Here
|
| 61 |
# for current profile and host. If the full name and the best |
61 |
# for current profile and host. If the full name and the best |
| 62 |
# match are equal, go on. |
62 |
# match are equal, go on. |
| 63 |
[ -d $cdir ] || continue |
63 |
[ -d $cdir ] || continue |
| 64 |
local base=${d%#*} |
64 |
local base=${cdir%#*} |
| 65 |
base=${base%@*} |
65 |
base=${base%@*} |
| 66 |
local bestmatch=`profiled_filename $base` |
66 |
local bestmatch=`profiled_filename $base` |
| 67 |
[ "$bestmatch" = "$cdir" ] || continue |
67 |
[ "$bestmatch" = "$cdir" ] || continue |
