diff --git a/general/prog/valgrind.xml b/general/prog/valgrind.xml
index c267fca56c..d9286f102b 100644
--- a/general/prog/valgrind.xml
+++ b/general/prog/valgrind.xml
@@ -77,21 +77,20 @@
Optional
- ,
- (with Clang),
- (for tests),
- (for tests),
or (for tests),
- and
- OpenMP
+ ,
+ (for tests),
+ (with Clang), and
+ (for tests)
+
User Notes:
@@ -134,18 +133,37 @@ make
-
To test the results, issue: make regtest. The tests
- may hang forever if is not installed.
-
-
+
+sed -e 's@prereq:.*@prereq: false@' \
+ -i {helgrind,drd}/tests/pth_cond_destroy_busy.vgtest
+
+
+
+ The OpenMP tests are skipped if libgomp
+ has been compiled with (the
+ default). If needed, just recompile the libgomp library from
+ the gcc build tree, passing
+ to configure, storing the library to some place and changing the link
+ from /usr/lib/libgomp.so.1 to point to the new
+ library.
+
+
+
+
+
Now, as the root user: