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 03eb67ada1e0..da68b9cd3e1e 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -3462,6 +3462,7 @@ SUBDIR += phptags SUBDIR += physfs SUBDIR += physfs-devel + SUBDIR += picosat SUBDIR += picp SUBDIR += picprog SUBDIR += piklab |