Searched refs:FLAGS_SET (Results 1 – 1 of 1) sorted by relevance
157 FLAGS_SET=$(awk -v emp="$EMPTY_FLAG" '$3 != emp' $DYNDEBUG_STATEMENTS)159 if [ "$FLAGS_SET" ] ; then161 /bin/echo "$FLAGS_SET" | while read -r FLAG_LINE ; do