Ticket #21525: Portfile-valgrind.diff
File Portfile-valgrind.diff, 489 bytes (added by guillaume-jean@…, 15 years ago) |
---|
-
Portfile
old new 22 22 # as they are only used for tests 23 23 24 24 configure.args --mandir=${prefix}/share/man \ 25 --without-mpicc 25 --without-mpicc \ 26 --build=amd64-darwin 27 28 patchfiles patch-valgrind-global.diff 26 29 27 30 checksums md5 f03522a4687cf76c676c9494fcc0a517 \ 28 31 sha1 76678c2617278cc9fbda1232e4e56fb2a96b0eb8 \