pollycc: Fix error message if PoCC/Pluto are not available
authorTobias Grosser <grosser@fim.uni-passau.de>
Wed, 6 Jul 2011 18:04:59 +0000 (18:04 +0000)
committerTobias Grosser <grosser@fim.uni-passau.de>
Wed, 6 Jul 2011 18:04:59 +0000 (18:04 +0000)
commitfe37f8d0ac121cac7ef0764b28ef73fa81b31d9b
tree23e069ee15972719d068c97bb1be51ed5b45948c
parent6aac575c9f63c5497a2b50c1edefd1fbe8a7a976
pollycc: Fix error message if PoCC/Pluto are not available

llvm-svn: 134512
polly/utils/pollycc