Searched refs:echoline (Results 1 – 2 of 2) sorted by relevance
93 if [ ! -z "$echoline" ] ; then # echo line96 echoline=98 echoline=1110 if [ -z "$echoline" ] && [ ! -z "$file" ] ; then
199 if test ! -z "$echoline"; then # echo line201 echoline=""205 echoline="1"