diff options
Diffstat (limited to 'devel')
-rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index fe60196f3a44..70843f9a4b02 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -723,6 +723,7 @@ SUBDIR += py-omniorb SUBDIR += py-optik SUBDIR += py-orbit + SUBDIR += py-orbit2 SUBDIR += py-period SUBDIR += py-plex SUBDIR += py-pqueue |