Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • contrib/tools/random_check.sh

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