Rename include directory to mbedtls

This commit is contained in:
Manuel Pégourié-Gonnard 2015-03-09 17:05:11 +00:00
parent 129db08c90
commit 7f8099773e
250 changed files with 908 additions and 908 deletions

View file

@ -9,7 +9,7 @@
set -eu
CONFIG_H='include/polarssl/config.h'
CONFIG_H='include/mbedtls/config.h'
if [ -r $CONFIG_H ]; then :; else
echo "$CONFIG_H not found" >&2