#! /usr/bin/env sh # Copyright The Mbed TLS Contributors # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later # # This file is provided under the Apache License 2.0, or the # GNU General Public License v2.0 or later. # # ********** # Apache License 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. # # ********** # # ********** # GNU General Public License v2.0 or later: # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License along # with this program; if not, write to the Free Software Foundation, Inc., # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. # # ********** # # Purpose # # Check if generated files are up-to-date. set -eu if [ $# -ne 0 ] && [ "$1" = "--help" ]; then cat <&2 exit 1 fi UPDATE= if [ $# -ne 0 ] && [ "$1" = "-u" ]; then shift UPDATE='y' fi check() { SCRIPT=$1 TO_CHECK=$2 PATTERN="" FILES="" if [ -d $TO_CHECK ]; then for FILE in $TO_CHECK/*; do FILES="$FILE $FILES" done else FILES=$TO_CHECK fi for FILE in $FILES; do cp $FILE $FILE.bak done $SCRIPT # Compare the script output to the old files and remove backups for FILE in $FILES; do if ! diff $FILE $FILE.bak >/dev/null 2>&1; then echo "'$FILE' was either modified or deleted by '$SCRIPT'" if [ -z "$UPDATE" ]; then exit 1 fi fi if [ -z "$UPDATE" ]; then mv $FILE.bak $FILE else rm $FILE.bak fi if [ -d $TO_CHECK ]; then # Create a grep regular expression that we can check against the # directory contents to test whether new files have been created if [ -z $PATTERN ]; then PATTERN="$(basename $FILE)" else PATTERN="$PATTERN\|$(basename $FILE)" fi fi done if [ -d $TO_CHECK ]; then # Check if there are any new files if ls -1 $TO_CHECK | grep -v "$PATTERN" >/dev/null 2>&1; then echo "Files were created by '$SCRIPT'" if [ -z "$UPDATE" ]; then exit 1 fi fi fi } check scripts/generate_errors.pl library/error.c check scripts/generate_query_config.pl programs/ssl/query_config.c check scripts/generate_features.pl library/version_features.c check scripts/generate_visualc_files.pl visualc/VS2010