Searched refs:RANDOM_PROFILE (Results 1 – 1 of 1) sorted by relevance
96 RANDOM_PROFILE="n"469 RANDOM_PROFILE="y"924 if [ "$PROFILE" = "y" ] || [ "$RANDOM_PROFILE" = "y" ]; then993 if [ "$PROFILE" = "y" ] || [ "$RANDOM_PROFILE" = "y" ]; then1131 if [ "$PROFILE" = "y" ] || [ "$RANDOM_PROFILE" = "y" ]; then1143 if [ "$PROFILE" = "y" ] || [ "$RANDOM_PROFILE" = "y" ]; then