check-generated-files.sh 416 B

123456789101112131415161718192021222324
  1. #!/bin/sh
  2. # check if generated files are up-to-date
  3. set -eu
  4. if [ -d library -a -d include -a -d tests ]; then :; else
  5. echo "Must be run from mbed TLS root" >&2
  6. exit 1
  7. fi
  8. check()
  9. {
  10. FILE=$1
  11. SCRIPT=$2
  12. cp $FILE $FILE.bak
  13. $SCRIPT
  14. diff $FILE $FILE.bak
  15. mv $FILE.bak $FILE
  16. }
  17. check library/error.c scripts/generate_errors.pl
  18. check library/version_features.c scripts/generate_features.pl