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