diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 0c2cedb7eb..0b1d4df9ae 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -1,5 +1,5 @@ LEVEL = .. -DIRS = dis as opt +DIRS = dis as opt analyze include $(LEVEL)/Makefile.common |