Changes in contrib/tools/random_check.sh [723ce99:9f40318f] in mainline

File:

• contrib/tools/random_check.sh (modified) (3 diffs)

contrib/tools/random_check.sh

@@ -38 +38 @@
 echo -n "">"$PRUNE_CONFIG_FILE"
 
-while getopts n:j:x:hsS option; do
+while getopts n:j:x:hs option; do
         case $option in
         n)
@@ -49 +49 @@
                 echo "$OPTARG" | tr -d ' ' >>"$PRUNE_CONFIG_FILE"
                 ;;
-        s|S)
+        s)
                 echo "COMPILER=gcc_native" >>"$PRUNE_CONFIG_FILE"
                 echo "COMPILER=gcc_helenos" >>"$PRUNE_CONFIG_FILE"
                 echo "COMPILER=icc" >>"$PRUNE_CONFIG_FILE"
-                if [ "$option" = "S" ]; then
-                        echo "CONFIG_PCC=y" >>"$PRUNE_CONFIG_FILE"
-                        echo "CONFIG_BINUTILS=y" >>"$PRUNE_CONFIG_FILE"
-                        echo "CONFIG_MSIM=y" >>"$PRUNE_CONFIG_FILE"
-                fi
                 ;;
         *|h)
@@ -72 +67 @@
                 echo "      Use only supported compilers."
                 echo "      (That is, only GCC cross-compiler and Clang.)"
-                echo "  -S"
-                echo "      Build only reasonable configurations."
-                echo "      (Implies -s, does not build ported programs.)"
                 echo "  -x CONFIG_OPTION=value"
                 echo "      Skip the configuration if this option is present."