diff options
| author | Tobias Kortkamp <tobik@FreeBSD.org> | 2018-08-18 09:23:06 +0000 |
|---|---|---|
| committer | Tobias Kortkamp <tobik@FreeBSD.org> | 2018-08-18 09:23:06 +0000 |
| commit | 1e95d7097d35951473fe5bd07b72a34602e4e14c (patch) | |
| tree | 4941ba2237975294a6dacf23c6da06c5085e653e /devel/Makefile | |
| parent | 692de2f4b7f6ef238467cbc6a571aac75ace5ec5 (diff) | |
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 64da2071c052..61cfb39d9802 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -672,6 +672,7 @@ SUBDIR += frama-c SUBDIR += frink SUBDIR += fsmtrie + SUBDIR += fstrcmp SUBDIR += fstrm SUBDIR += ftjam SUBDIR += ftnchek |