Searched refs:saved_LIBS (Results 1 – 2 of 2) sorted by relevance
1518 saved_LIBS="$LIBS"1540 LIBS="$saved_LIBS"
5662 saved_LIBS="$LIBS"5704 LIBS="$saved_LIBS"