mirror of
				https://github.com/Mbed-TLS/mbedtls.git
				synced 2025-11-03 20:33:16 +03:00 
			
		
		
		
	As the SSL programs, like ssl_client2 and ssl_server2, are dependent on SSL and therefore about to be removed, the only consumer of query_config is the query_compile_time_config test. As such, it makes sense to move query_config to be next to what uses it.
		
			
				
	
	
		
			71 lines
		
	
	
		
			1.7 KiB
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			71 lines
		
	
	
		
			1.7 KiB
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
#! /usr/bin/env sh
 | 
						|
 | 
						|
# 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
 | 
						|
 | 
						|
if [ -d library -a -d include -a -d tests ]; then :; else
 | 
						|
    echo "Must be run from mbed TLS root" >&2
 | 
						|
    exit 1
 | 
						|
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'"
 | 
						|
            exit 1
 | 
						|
        fi
 | 
						|
        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 scripts/generate_errors.pl library/error.c
 | 
						|
check scripts/generate_query_config.pl programs/test/query_config.c
 | 
						|
check scripts/generate_features.pl library/version_features.c
 | 
						|
check scripts/generate_visualc_files.pl visualc/VS2010
 |