Fix previous commit
(worked with BSD sed but no GNU sed...)
This commit is contained in:
parent
3da751ea55
commit
d68b65199f
1 changed files with 1 additions and 1 deletions
|
@ -104,7 +104,7 @@ if(ENABLE_TESTING)
|
||||||
)
|
)
|
||||||
|
|
||||||
ADD_CUSTOM_TARGET(memcheck
|
ADD_CUSTOM_TARGET(memcheck
|
||||||
COMMAND sed -i .bak s+/usr/bin/valgrind+`which valgrind`+ DartConfiguration.tcl
|
COMMAND sed -i.bak s+/usr/bin/valgrind+`which valgrind`+ DartConfiguration.tcl
|
||||||
COMMAND ctest -O memcheck.log -D ExperimentalMemCheck
|
COMMAND ctest -O memcheck.log -D ExperimentalMemCheck
|
||||||
COMMAND tail -n1 memcheck.log | grep 'Memory checking results:' > /dev/null
|
COMMAND tail -n1 memcheck.log | grep 'Memory checking results:' > /dev/null
|
||||||
COMMAND rm -f memcheck.log
|
COMMAND rm -f memcheck.log
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue