diff options
Diffstat (limited to 'devel/Makefile')
| -rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 6f8eee8f588e..9781a4fb2acc 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -2510,6 +2510,7 @@ SUBDIR += uppaal SUBDIR += urjtag SUBDIR += ustl + SUBDIR += valide SUBDIR += valgrind SUBDIR += valgrind-snapshot SUBDIR += varconf |