diff options
Diffstat (limited to 'examples/HowToUseJIT')
| -rw-r--r-- | examples/HowToUseJIT/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/HowToUseJIT/Makefile b/examples/HowToUseJIT/Makefile index 3312eb8209..0f5e26b5ca 100644 --- a/examples/HowToUseJIT/Makefile +++ b/examples/HowToUseJIT/Makefile @@ -8,6 +8,7 @@ ##===----------------------------------------------------------------------===## LEVEL = ../.. TOOLNAME = HowToUseJIT +EXAMPLE_TOOL = 1 # Enable JIT support include $(LEVEL)/tools/Makefile.JIT |