OpenGrok

2945 # Skipdirs are removed silently.
2946 skipdirs=
2996     skipdirs="${skipdirs} tk itcl libgui"
3008   no) skipdirs="${skipdirs} ${cross_only}" ;;
3022   no) skipdirs="${skipdirs} target-newlib" ;;
3023   yes) skipdirs=`echo " ${skipdirs} " | sed -e 's/ target-newlib / /'` ;;
3728     # 'target-newlib' will appear in skipdirs.
3957       skipdirs=`echo " ${skipdirs} " | sed -e 's/ target-newlib / /'`
4009     skipdirs=`echo " ${skipdirs} " | sed -e 's/ target-newlib / /'`
10315    skipdirs="${skipdirs} ${target_configdirs}"
10318 # Remove the entries in $skipdirs and $noconfigdirs from $configdirs,
10323 for dir in . $skipdirs $noconfigdirs ; do
10328       if echo " ${skipdirs} " | grep " ${dir} " >/dev/null 2>&1; then
10338       if echo " ${skipdirs} " | grep " ${dir} " >/dev/null 2>&1; then
10348       if echo " ${skipdirs} " | grep " ${dir} " >/dev/null 2>&1; then

Indexes created Sun Apr 19 00:22:55 UTC 2026