Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b78a396 commit 0806ab1Copy full SHA for 0806ab1
run_tests.sh
@@ -43,7 +43,7 @@ if [ "$LEVEL" = "hardcore" ] || \
43
# enable additional options
44
./configure \
45
CFLAGS='-O0 -ggdb3 -fno-omit-frame-pointer' \
46
- --enable-cassert \
+ --enable-cassert --enable-debug \
47
--prefix=$CUSTOM_PG_BIN \
48
--quiet
49
@@ -100,6 +100,7 @@ if [ "$LEVEL" = "nightmare" ]; then
100
--time-stamp=yes \
101
--track-origins=yes \
102
--trace-children=yes \
103
+ --trace-children-skip="/bin/*,/usr/bin/*,/lib/*" \
104
--gen-suppressions=all \
105
--suppressions=$CUSTOM_PG_SRC/src/tools/valgrind.supp \
106
--suppressions=$PWD/valgrind.supp \
0 commit comments