Allow compiler pruning for random builds
commit170e181093fcf5fab695c42de96f5a70f8fab2dc
authorVojtech Horky <vojtechhorky@users.sourceforge.net>
Mon, 21 Apr 2014 11:57:39 +0000 (21 13:57 +0200)
committerVojtech Horky <vojtechhorky@users.sourceforge.net>
Mon, 21 Apr 2014 11:57:39 +0000 (21 13:57 +0200)
tree75246bf58ecd89dcd895d923cfe0bfcf1c9990a7
parent630b9d35d680e1630c85e924dedf7b49c34f6e70
Allow compiler pruning for random builds
contrib/tools/random_check.sh