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 626f3ada1766..2f836e012df8 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -239,6 +239,7 @@ SUBDIR += newt SUBDIR += noweb SUBDIR += oaf + SUBDIR += ocamlweb SUBDIR += omniORB SUBDIR += p5-Agent SUBDIR += p5-Algorithm-Diff |