diff options
Diffstat (limited to 'java/Makefile')
| -rw-r--r-- | java/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/Makefile b/java/Makefile index adaa6dcefb25..abf21f8ed951 100644 --- a/java/Makefile +++ b/java/Makefile @@ -17,6 +17,7 @@ SUBDIR += eclipse-gef SUBDIR += eclipse-gef-examples SUBDIR += eclipse-langpack + SUBDIR += eclipse-pmd SUBDIR += forte SUBDIR += gj SUBDIR += gj-jdk11 |