mirror of
https://github.com/yuzu-emu/mbedtls.git
synced 2025-03-23 10:05:07 +00:00
cf61d7d992
1. Move the scripts to test/git-scripts folder 2. Support the script to run independant, not only with git 3. modify Readme accordingly
48 lines
1.1 KiB
Bash
Executable file
48 lines
1.1 KiB
Bash
Executable file
#!/bin/sh
|
|
# pre-push.sh
|
|
#
|
|
# This file is part of mbed TLS (https://tls.mbed.org)
|
|
#
|
|
# Copyright (c) 2017, ARM Limited, All Rights Reserved
|
|
#
|
|
# Purpose
|
|
#
|
|
# Called by "git push" after it has checked the remote status, but before anything has been
|
|
# pushed. If this script exits with a non-zero status nothing will be pushed.
|
|
# This script can also be used independently, not using git.
|
|
#
|
|
# This hook is called with the following parameters:
|
|
#
|
|
# $1 -- Name of the remote to which the push is being done
|
|
# $2 -- URL to which the push is being done
|
|
#
|
|
# If pushing without using a named remote those arguments will be equal.
|
|
#
|
|
# Information about the commits which are being pushed is supplied as lines to
|
|
# the standard input in the form:
|
|
#
|
|
# <local ref> <local sha1> <remote ref> <remote sha1>
|
|
#
|
|
|
|
REMOTE="$1"
|
|
URL="$2"
|
|
|
|
echo "REMOTE is $REMOTE"
|
|
echo "URL is $URL"
|
|
|
|
set -eu
|
|
|
|
run_test()
|
|
{
|
|
TEST=$1
|
|
echo "running '$TEST'"
|
|
if ! `$TEST > /dev/null 2>&1`; then
|
|
echo "test '$TEST' failed"
|
|
return 1
|
|
fi
|
|
}
|
|
|
|
run_test ./tests/scripts/check-doxy-blocks.pl
|
|
run_test ./tests/scripts/check-names.sh
|
|
run_test ./tests/scripts/check-generated-files.sh
|