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 8772c73d300c..f766a5b236a5 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -2801,6 +2801,7 @@ SUBDIR += pty SUBDIR += ptypes SUBDIR += publib + SUBDIR += pure-ffi SUBDIR += pure-gen SUBDIR += pushmi SUBDIR += pwlib |