mirror of
				https://github.com/Mbed-TLS/mbedtls.git
				synced 2025-11-03 20:33:16 +03:00 
			
		
		
		
	As a result, the copyright of contributors other than Arm is now
acknowledged, and the years of publishing are no longer tracked in the
source files.
Also remove the now-redundant lines declaring that the files are part of
MbedTLS.
This commit was generated using the following script:
# ========================
#!/bin/sh
# Find files
find '(' -path './.git' -o -path './3rdparty' ')' -prune -o -type f -print | xargs sed -bi '
# Replace copyright attribution line
s/Copyright.*Arm.*/Copyright The Mbed TLS Contributors/I
# Remove redundant declaration and the preceding line
$!N
/This file is part of Mbed TLS/Id
P
D
'
# ========================
Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>
		
	
		
			
				
	
	
		
			47 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			47 lines
		
	
	
		
			1.4 KiB
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
#!/bin/sh
 | 
						|
# pre-push.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
 | 
						|
#
 | 
						|
# 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
 | 
						|
 | 
						|
tests/scripts/all.sh -q -k 'check_*'
 |