Searched refs:OPTION_PLATFORM (Results 1 – 2 of 2) sorted by relevance
41 OPTION_PLATFORM=54 OPTION_PLATFORM=$optarg88 if [ -n "$OPTION_PLATFORM" ] ; then89 PLATFORM=$OPTION_PLATFORM
101 OPTION_PLATFORM=$optarg180 if [ -n "$OPTION_PLATFORM" ] ; then181 PLATFORMS=$(commas_to_spaces $OPTION_PLATFORM)