Searched refs:RANDOM_PROFILE (Results 1 – 1 of 1) sorted by relevance
97 RANDOM_PROFILE="n"471 RANDOM_PROFILE="y"910 if [ "$PROFILE" = "y" ] || [ "$RANDOM_PROFILE" = "y" ]; then979 if [ "$PROFILE" = "y" ] || [ "$RANDOM_PROFILE" = "y" ]; then1122 if [ "$PROFILE" = "y" ] || [ "$RANDOM_PROFILE" = "y" ]; then1134 if [ "$PROFILE" = "y" ] || [ "$RANDOM_PROFILE" = "y" ]; then