aboutsummaryrefslogtreecommitdiff
path: root/devel/valgrind-snapshot/Makefile
diff options
context:
space:
mode:
authorEdwin Groothuis <edwin@FreeBSD.org>2007-10-04 23:08:40 +0000
committerEdwin Groothuis <edwin@FreeBSD.org>2007-10-04 23:08:40 +0000
commitc9472879402a32ed984401a30c388670d1165246 (patch)
tree536fe08a2f4ade0514ac09019b68f583621d8956 /devel/valgrind-snapshot/Makefile
parentb3b49aa5ed1376ae32faf0daabed27efe3882831 (diff)
downloadports-c9472879402a32ed984401a30c388670d1165246.tar.gz
ports-c9472879402a32ed984401a30c388670d1165246.zip
Notes
Diffstat (limited to 'devel/valgrind-snapshot/Makefile')
-rw-r--r--devel/valgrind-snapshot/Makefile10
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 \