File tree Expand file tree Collapse file tree 3 files changed +14
-1
lines changed Expand file tree Collapse file tree 3 files changed +14
-1
lines changed Original file line number Diff line number Diff line change 1
1
---
2
- refs/heads/master: 883eb38b283d9f2486529ec1bf1e7f695396d96f
2
+ refs/heads/master: 518e2d249c062211c2c1211327f2e21451920047
Original file line number Diff line number Diff line change @@ -46,6 +46,10 @@ ifdef CFG_DISABLE_VALGRIND
46
46
$(info cfg : disabling valgrind (CFG_DISABLE_VALGRIND))
47
47
CFG_VALGRIND :=
48
48
endif
49
+ ifdef CFG_BAD_VALGRIND
50
+ $(info cfg : disabling valgrind due to its unreliability on this platform)
51
+ CFG_VALGRIND :=
52
+ endif
49
53
50
54
DOCS :=
51
55
ifeq ($(CFG_MAKEINFO ) ,)
Original file line number Diff line number Diff line change @@ -201,6 +201,15 @@ probe CFG_MAKEINFO makeinfo
201
201
probe CFG_TEXI2PDF texi2pdf
202
202
probe CFG_TEX tex
203
203
204
+ # Valgrind is only reliable on Linux. On Windows it doesn't work at all, and
205
+ # on the Mac the dynamic linker causes Valgrind to emit a huge stream of
206
+ # errors.
207
+ if [ $CFG_OSTYPE != Linux ]
208
+ then
209
+ CFG_BAD_VALGRIND=1
210
+ putvar CFG_BAD_VALGRIND
211
+ fi
212
+
204
213
if [ ! -z " $CFG_LLVM_ROOT " ]
205
214
then
206
215
CFG_LLVM_INCDIR=" $CFG_LLVM_ROOT /include"
You can’t perform that action at this time.
0 commit comments