Make sure distcheck passes and run dist job on Pull Request
This commit is contained in:
1 parent
481167c8f1
commit
092fef740a
4 files changed
+13
-29
No files matched your search
+1
-1
@@ -10,7 +10,7 @@ set -eu
|
||||
|
||||
JQTESTDIR=$(cd "$(dirname "$0")" && pwd)
|
||||
JQBASEDIR=$JQTESTDIR/..
|
||||
JQ=$JQBASEDIR/jq
|
||||
JQ=${JQ:-$JQBASEDIR/jq}
|
||||
|
||||
if [ -z "${NO_VALGRIND-}" ] && which valgrind > /dev/null; then
|
||||
VALGRIND="valgrind --error-exitcode=1 --leak-check=full \
|
||||
|
||||
Reference in new issue
Block a user