diff options
author | Boris Samorodov <bsam@FreeBSD.org> | 2012-09-22 14:29:45 +0000 |
---|---|---|
committer | Boris Samorodov <bsam@FreeBSD.org> | 2012-09-22 14:29:45 +0000 |
commit | 409c9defdf61d4f06dd224621eff9f870133975d (patch) | |
tree | 2a9f1cfe07fa1d13f13463baea34da6d811e7533 /devel/Makefile | |
parent | ffbafcde486c3f4d353995e69a3a71af3f4e481b (diff) | |
download | ports-409c9defdf61d4f06dd224621eff9f870133975d.tar.gz ports-409c9defdf61d4f06dd224621eff9f870133975d.zip |
Notes
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 20f29af41ad0..aac47baa8389 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -447,6 +447,7 @@ SUBDIR += fpc-zlib SUBDIR += fpp SUBDIR += frama-c + SUBDIR += freeocl SUBDIR += frink SUBDIR += fsmgenerator SUBDIR += ftjam |