Searched refs:OPTION_PLATFORM (Results 1 – 3 of 3) sorted by relevance
41 OPTION_PLATFORM=58 OPTION_PLATFORM=$optarg92 if [ -n "$OPTION_PLATFORM" ] ; then93 PLATFORM=$OPTION_PLATFORM
90 OPTION_PLATFORM=$optarg144 if [ -n "$OPTION_PLATFORM" ] ; then145 PLATFORMS=$(commas_to_spaces $OPTION_PLATFORM)
92 OPTION_PLATFORM=$optarg158 if [ -n "$OPTION_PLATFORM" ] ; then159 PLATFORMS=$(commas_to_spaces $OPTION_PLATFORM)