Merge pull request #2141 from akoeplinger/fix-wrong-disableaot-define
authorJoão Matos <joao@tritao.eu>
Fri, 16 Oct 2015 18:25:57 +0000 (19:25 +0100)
committerJoão Matos <joao@tritao.eu>
Fri, 16 Oct 2015 18:25:57 +0000 (19:25 +0100)
[runtime] Rename DISABLE_AOT_COMPILER back to DISABLE_AOT


Trivial merge