From 7ca4ff677d78baba9c13bf34be4691eb9c9e85d9 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Tue, 18 May 2021 16:14:28 +0200 Subject: [PATCH] Remove Git pre-commit hook Since generated files are no longer stored in the repository, they don't need to be up-to-date before committing. Signed-off-by: Gilles Peskine --- tests/git-scripts/pre-commit.sh | 34 --------------------------------- 1 file changed, 34 deletions(-) delete mode 100755 tests/git-scripts/pre-commit.sh diff --git a/tests/git-scripts/pre-commit.sh b/tests/git-scripts/pre-commit.sh deleted file mode 100755 index fb28dad91f..0000000000 --- a/tests/git-scripts/pre-commit.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/bin/sh - -# pre-commit.sh -# -# Copyright The Mbed TLS Contributors -# SPDX-License-Identifier: Apache-2.0 -# -# Licensed under the Apache License, Version 2.0 (the "License"); you may -# not use this file except in compliance with the License. -# You may obtain a copy of the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT -# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -# See the License for the specific language governing permissions and -# limitations under the License. - -# Purpose -# -# This script does quick sanity checks before commiting: -# - check that generated files are up-to-date. -# -# It is meant to be called as a git pre-commit hook, see README.md. -# -# From the git sample pre-commit hook: -# Called by "git commit" with no arguments. The hook should -# exit with non-zero status after issuing an appropriate message if -# it wants to stop the commit. - -set -eu - -tests/scripts/check-generated-files.sh