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# This file is provided under the Apache License 2.0, or the 8# GNU General Public License v2.0 or later. 9# 10# ********** 11# Apache License 2.0: 12# 13# Licensed under the Apache License, Version 2.0 (the "License"); you may 14# not use this file except in compliance with the License. 15# You may obtain a copy of the License at 16# 17# http://www.apache.org/licenses/LICENSE-2.0 18# 19# Unless required by applicable law or agreed to in writing, software 20# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 21# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 22# See the License for the specific language governing permissions and 23# limitations under the License. 24# 25# ********** 26# 27# ********** 28# GNU General Public License v2.0 or later: 29# 30# This program is free software; you can redistribute it and/or modify 31# it under the terms of the GNU General Public License as published by 32# the Free Software Foundation; either version 2 of the License, or 33# (at your option) any later version. 34# 35# This program is distributed in the hope that it will be useful, 36# but WITHOUT ANY WARRANTY; without even the implied warranty of 37# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 38# GNU General Public License for more details. 39# 40# You should have received a copy of the GNU General Public License along 41# with this program; if not, write to the Free Software Foundation, Inc., 42# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. 43# 44# ********** 45# 46# Purpose 47# 48# Called by "git push" after it has checked the remote status, but before anything has been 49# pushed. If this script exits with a non-zero status nothing will be pushed. 50# This script can also be used independently, not using git. 51# 52# This hook is called with the following parameters: 53# 54# $1 -- Name of the remote to which the push is being done 55# $2 -- URL to which the push is being done 56# 57# If pushing without using a named remote those arguments will be equal. 58# 59# Information about the commits which are being pushed is supplied as lines to 60# the standard input in the form: 61# 62# <local ref> <local sha1> <remote ref> <remote sha1> 63# 64 65REMOTE="$1" 66URL="$2" 67 68echo "REMOTE is $REMOTE" 69echo "URL is $URL" 70 71set -eu 72 73tests/scripts/all.sh -q -k 'check_*' 74