Home
last modified time | relevance | path

Searched refs:RANDOMRUN (Results 1 – 1 of 1) sorted by relevance

/external/ltp/
Drunltp219 local RANDOMRUN=0
415 R) RANDOMRUN=1;;
704 if [ "$RANDOMRUN" != "0" ]; then