mirror of
https://github.com/facebook/rocksdb.git
synced 2024-11-29 18:33:58 +00:00
457dcc605a
Summary: As Aaron suggested, there are quite some problems with our Makefile and scripts. So in this diff I did some cleanup for them and revise some part of the scripts/makefile to help people better understand some mysterious parts. Test Plan: Ran make in several modes; Ran the updated scripts. Reviewers: dhruba, emayanke, akushner Differential Revision: https://reviews.facebook.net/D12285
16 lines
440 B
Bash
Executable file
16 lines
440 B
Bash
Executable file
#!/bin/bash
|
|
#A shell script for Jenknis to run valgrind on rocksdb tests
|
|
#Returns 0 on success when there are no failed tests
|
|
|
|
VALGRIND_DIR=build_tools/VALGRIND_LOGS
|
|
make clean
|
|
make -j$(nproc) valgrind_check
|
|
NUM_FAILED_TESTS=$((`wc -l $VALGRIND_DIR/valgrind_failed_tests | awk '{print $1}'` - 1))
|
|
if [ $NUM_FAILED_TESTS -lt 1 ]; then
|
|
echo No tests have valgrind errors
|
|
exit 0
|
|
else
|
|
cat $VALGRIND_DIR/valgrind_failed_tests
|
|
exit 1
|
|
fi
|