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 86d35490ab84..f7d4b233e6c0 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -865,6 +865,7 @@ SUBDIR += ocamlweb SUBDIR += ode SUBDIR += ode-devel + SUBDIR += ois SUBDIR += omake SUBDIR += omniNotify SUBDIR += omniORB |