mirror of
https://github.com/yuzu-emu/mbedtls.git
synced 2024-11-23 16:15:38 +01:00
Check generated-visualc-files in check-generated-files
This commit is contained in:
parent
464b1491c2
commit
7dae108fe8
@ -1,6 +1,12 @@
|
|||||||
#!/bin/sh
|
#! /usr/bin/env sh
|
||||||
|
|
||||||
# check if generated files are up-to-date
|
# This file is part of mbed TLS (https://tls.mbed.org)
|
||||||
|
#
|
||||||
|
# Copyright (c) 2018, ARM Limited, All Rights Reserved
|
||||||
|
#
|
||||||
|
# Purpose
|
||||||
|
#
|
||||||
|
# Check if generated files are up-to-date.
|
||||||
|
|
||||||
set -eu
|
set -eu
|
||||||
|
|
||||||
@ -11,14 +17,52 @@ fi
|
|||||||
|
|
||||||
check()
|
check()
|
||||||
{
|
{
|
||||||
FILE=$1
|
SCRIPT=$1
|
||||||
SCRIPT=$2
|
TO_CHECK=$2
|
||||||
|
PATTERN=""
|
||||||
|
|
||||||
|
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
|
cp $FILE $FILE.bak
|
||||||
|
done
|
||||||
|
|
||||||
$SCRIPT
|
$SCRIPT
|
||||||
diff $FILE $FILE.bak
|
|
||||||
|
# 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'"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
mv $FILE.bak $FILE
|
mv $FILE.bak $FILE
|
||||||
|
|
||||||
|
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'"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
check library/error.c scripts/generate_errors.pl
|
check scripts/generate_errors.pl library/error.c
|
||||||
check library/version_features.c scripts/generate_features.pl
|
check scripts/generate_features.pl library/version_features.c
|
||||||
|
check scripts/generate_visualc_files.pl visualc/VS2010
|
||||||
|
Loading…
Reference in New Issue
Block a user