runMain.sh 257 Bytes
Newer Older
Ignacio Losiggio's avatar
Ignacio Losiggio committed
1 2
#!/usr/bin/env bash

Ignacio Losiggio's avatar
Ignacio Losiggio committed
3 4 5 6
function die() {
	echo "ERROR: " "$@" >&2
	exit 1
}
Ignacio Losiggio's avatar
Ignacio Losiggio committed
7

Ignacio Losiggio's avatar
Ignacio Losiggio committed
8 9
command -v valgrind > /dev/null || die "No se encuentra valgrind."
make main || die "Error de compilacion."
Ignacio Losiggio's avatar
Ignacio Losiggio committed
10

Ignacio Losiggio's avatar
Ignacio Losiggio committed
11
valgrind --show-reachable=yes --leak-check=full --error-exitcode=1 ./main