Changeset d75dc05 in mainline for contrib/tools


Ignore:
Timestamp:
2017-10-09T18:17:05Z (8 years ago)
Author:
jzr <zarevucky.jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
02667d9
Parents:
ca207e0
Message:

Remove the unmaintained and likely broken ICC support.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • contrib/tools/random_check.sh

    rca207e0 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.