1#!/bin/sh
2# pre-push.sh
3#
4# Copyright The Mbed TLS Contributors
5# SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
6#
7# Purpose
8#
9# Called by "git push" after it has checked the remote status, but before anything has been
10# pushed.  If this script exits with a non-zero status nothing will be pushed.
11# This script can also be used independently, not using git.
12#
13# This hook is called with the following parameters:
14#
15# $1 -- Name of the remote to which the push is being done
16# $2 -- URL to which the push is being done
17#
18# If pushing without using a named remote those arguments will be equal.
19#
20# Information about the commits which are being pushed is supplied as lines to
21# the standard input in the form:
22#
23#   <local ref> <local sha1> <remote ref> <remote sha1>
24#
25
26REMOTE="$1"
27URL="$2"
28
29echo "REMOTE is $REMOTE"
30echo "URL is $URL"
31
32set -eu
33
34tests/scripts/all.sh -q -k 'check_*'
35