diff options
| author | John Marino <marino@FreeBSD.org> | 2016-05-09 09:12:27 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2016-05-09 09:12:27 +0000 |
| commit | 87dca51be29ee882a721c9247ce93a25a7ccc289 (patch) | |
| tree | 6814483cc78c1f4926f0afbed392f965a45945e9 /archivers | |
| parent | 1074a113734e7aa03be7e2639189e28601169730 (diff) | |
| download | ports-87dca51be29ee882a721c9247ce93a25a7ccc289.tar.gz ports-87dca51be29ee882a721c9247ce93a25a7ccc289.zip | |
Notes
Diffstat (limited to 'archivers')
| -rw-r--r-- | archivers/zip-ada/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/archivers/zip-ada/Makefile b/archivers/zip-ada/Makefile index f72c962a0b22..acaf93a88908 100644 --- a/archivers/zip-ada/Makefile +++ b/archivers/zip-ada/Makefile @@ -23,6 +23,8 @@ DEMOS= demo_csv_into_zip demo_unzip demo_zip test_chunk \ test_stream_performance test_unz_streams \ test_zip_info_timing za_gnat zip_with_many_files ziptest +PORTSCOUT= ignore:50_f1 # Portscout currently showing false positive + do-build: (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gnatmake -P zipada.gpr) |