Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • contrib/tools/random_check.sh

    r9f40318f rd75dc05  
    5252                echo "COMPILER=gcc_native" >>"$PRUNE_CONFIG_FILE"
    5353                echo "COMPILER=gcc_helenos" >>"$PRUNE_CONFIG_FILE"
    54                 echo "COMPILER=icc" >>"$PRUNE_CONFIG_FILE"
    5554                ;;
    5655        *|h)
Note: See TracChangeset for help on using the changeset viewer.