OpenGrok

2941 # Skipdirs are removed silently.
2942 skipdirs=
2992     skipdirs="${skipdirs} tk itcl libgui"
3004   no) skipdirs="${skipdirs} ${cross_only}" ;;
3018   no) skipdirs="${skipdirs} target-newlib" ;;
3019   yes) skipdirs=`echo " ${skipdirs} " | sed -e 's/ target-newlib / /'` ;;
3713     # 'target-newlib' will appear in skipdirs.
3935       skipdirs=`echo " ${skipdirs} " | sed -e 's/ target-newlib / /'`
3984     skipdirs=`echo " ${skipdirs} " | sed -e 's/ target-newlib / /'`
9382    skipdirs="${skipdirs} ${target_configdirs}"
9385 # Remove the entries in $skipdirs and $noconfigdirs from $configdirs,
9390 for dir in . $skipdirs $noconfigdirs ; do
9395       if echo " ${skipdirs} " | grep " ${dir} " >/dev/null 2>&1; then
9405       if echo " ${skipdirs} " | grep " ${dir} " >/dev/null 2>&1; then
9415       if echo " ${skipdirs} " | grep " ${dir} " >/dev/null 2>&1; then

Indexes created Fri Jun 26 00:24:39 UTC 2026