move WITH_POLLY option before add_subdirectory(tools)
authorSebastian Pop <spop@codeaurora.org>
Tue, 11 Mar 2014 22:42:07 +0000 (22:42 +0000)
committerSebastian Pop <spop@codeaurora.org>
Tue, 11 Mar 2014 22:42:07 +0000 (22:42 +0000)
commite5b11b349bf91812a5dc65b320e067b2ec30d215
tree4fdc802e3941d4b62859e8db5a73f437e32581d6
parent667376028fc44bbcd861e6a70ff0e04b29f177d1
move WITH_POLLY option before add_subdirectory(tools)

the first run of the polly buildbot failed, and then it started passing.
This is due to the fact that the buildbot re-builds in an existing directory,
and the first run does not have WITH_POLLY set when it enters tools/.
Thus, cmake ignores the tools/polly dir in the first run, and then because
it reuses the CMakeCache.txt of the previous run, it has the WITH_POLLY set
by the previous run, and so it passes the second time.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@203615 91177308-0d34-0410-b5e6-96231b3b80d8
CMakeLists.txt