#!/bin/bash
set -xe
scripts/appveyor/ubuntu-prepare.sh
sudo apt install -y valgrind
make -j4 debug debug/tests/tests
valgrind --fullpath-after=$PWD/ \
--log-file=valgrind-report \
--track-origins=yes \
--track-fds=yes \
--leak-check=full \
debug/tests/tests || true
if ! awk '/ERROR SUMMARY:/ { if ($4 != 0) exit 99 }' valgrind-report; then
cat valgrind-report
exit 99
fi
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"
Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/uncov
Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/uncov
You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a
pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master