[jit] Fix the DISABLE_JIT build.
authorZoltan Varga <vargaz@gmail.com>
Tue, 1 Aug 2017 19:13:30 +0000 (15:13 -0400)
committerZoltan Varga <vargaz@gmail.com>
Tue, 1 Aug 2017 19:13:30 +0000 (15:13 -0400)
commitf3a8d72bfb6a1c1a39d0eb561e79672c2b961609
treefda4e36f7b393f607dbb6e43cbdbde4a5fbe1837
parent8ffdc724ec100858fb77bdd268f64a2386979d58
[jit] Fix the DISABLE_JIT build.
mono/mini/mini-profiler.c