1#!/bin/sh 2# pre-push.sh 3# 4# Copyright The Mbed TLS Contributors 5# SPDX-License-Identifier: Apache-2.0 6# 7# Licensed under the Apache License, Version 2.0 (the "License"); you may 8# not use this file except in compliance with the License. 9# You may obtain a copy of the License at 10# 11# http://www.apache.org/licenses/LICENSE-2.0 12# 13# Unless required by applicable law or agreed to in writing, software 14# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 15# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 16# See the License for the specific language governing permissions and 17# limitations under the License. 18# 19# Purpose 20# 21# Called by "git push" after it has checked the remote status, but before anything has been 22# pushed. If this script exits with a non-zero status nothing will be pushed. 23# This script can also be used independently, not using git. 24# 25# This hook is called with the following parameters: 26# 27# $1 -- Name of the remote to which the push is being done 28# $2 -- URL to which the push is being done 29# 30# If pushing without using a named remote those arguments will be equal. 31# 32# Information about the commits which are being pushed is supplied as lines to 33# the standard input in the form: 34# 35# <local ref> <local sha1> <remote ref> <remote sha1> 36# 37 38REMOTE="$1" 39URL="$2" 40 41echo "REMOTE is $REMOTE" 42echo "URL is $URL" 43 44set -eu 45 46tests/scripts/all.sh -q -k 'check_*' 47