diff options
author | Edwin Groothuis <edwin@FreeBSD.org> | 2007-10-04 23:08:40 +0000 |
---|---|---|
committer | Edwin Groothuis <edwin@FreeBSD.org> | 2007-10-04 23:08:40 +0000 |
commit | c9472879402a32ed984401a30c388670d1165246 (patch) | |
tree | 536fe08a2f4ade0514ac09019b68f583621d8956 /devel/valgrind-snapshot/Makefile | |
parent | b3b49aa5ed1376ae32faf0daabed27efe3882831 (diff) | |
download | ports-c9472879402a32ed984401a30c388670d1165246.tar.gz ports-c9472879402a32ed984401a30c388670d1165246.zip |
Notes
Diffstat (limited to 'devel/valgrind-snapshot/Makefile')
-rw-r--r-- | devel/valgrind-snapshot/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/devel/valgrind-snapshot/Makefile b/devel/valgrind-snapshot/Makefile index 35d05ab45509..6151aec05b6c 100644 --- a/devel/valgrind-snapshot/Makefile +++ b/devel/valgrind-snapshot/Makefile @@ -80,16 +80,6 @@ post-install: @${INSTALL_DATA} ${WRKSRC}/coregrind/vg_unistd.h \ ${PREFIX}/include/valgrind -# Check if kernel is built with USER_LDT option (FreeBSD 4 only) -.if ${OSVERSION} < 500000 - @${PREFIX}/bin/valgrind --tool=memcheck true 2> ${WRKDIR}/ldt.test - @${GREP} i386_set_ldt ${WRKDIR}/ldt.test >/dev/null &&\ - ${ECHO_CMD} !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! && \ - ${ECHO_CMD} Please rebuild your kernel with ``options USER_LDT''! && \ - ${ECHO_CMD} Otherwise, valgrind will not be able to perform pointer analysis! && \ - ${ECHO_CMD} !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! || true -.endif - # Generate suppression files .ifndef (PACKAGE_BUILDING) @yes | ${PREFIX}/bin/valgrind --tool=memcheck --gen-suppressions=yes true 2>&1 \ |