|
Lines 380-385
switch_profile() {
Link Here
|
| 380 |
ewarn " # source /etc/profile" |
380 |
ewarn " # source /etc/profile" |
| 381 |
echo |
381 |
echo |
| 382 |
fi |
382 |
fi |
|
|
383 |
|
| 384 |
# Workaround for bug #125728 |
| 385 |
if [[ -f ${LDPATH}/libgcj.la ]] ; then |
| 386 |
ln -sf ${LDPATH}/libgcj.la /usr/lib/libgcj.la |
| 387 |
fi |
| 388 |
|
| 389 |
if [[ -f ${LDPATH}/libgcj.la ]] ; then |
| 390 |
ln -sf ${LDPATH}/lib-gnu-java-awt-peer-gtk.la /usr/lib/lib-gnu-java-awt-peer-gtk.la |
| 391 |
fi |
| 383 |
|
392 |
|
| 384 |
return 0 |
393 |
return 0 |
| 385 |
} |
394 |
} |
