Darryl Green 9b9a790be6 Handle deleting non-existant files on Windows ... If we try to delete a non-existant file using del on Windows, as can happen when running make clean, del will throw an error. Make the Makefiles more robust by only deleting files if they exist.		2019-08-30 15:45:46 +01:00
..
.jenkins	Add Jenkinsfile for PR job	2018-10-19 15:25:10 +01:00
data_files	Update certificates to expire in 2029	2019-07-10 16:46:34 +03:00
docker/bionic	Improve compatibility with firewalled networks	2019-06-29 17:45:34 -05:00
git-scripts	Merge development commit 8e76332 into development-psa	2019-01-31 08:20:20 -05:00
scripts	Add Everest components to all.sh	2019-08-29 16:12:38 +01:00
suites	Merge branch 'mbedtls-2.18' into development	2019-08-27 11:18:28 +01:00
.gitignore	Move some ignore patterns to subdirectories	2015-01-28 15:33:23 +00:00
CMakeLists.txt	Move fuzz directory to programs	2019-06-27 08:46:45 +02:00
compat-in-docker.sh	Clean up file prologue comments	2019-06-29 17:45:34 -05:00
compat.sh	Exclude DTLS 1.2 only with older OpenSSL	2019-08-13 10:36:14 +02:00
Descriptions.txt	Add selftest program to the list of tests	2014-04-04 16:33:01 +02:00
make-in-docker.sh	Clean up file prologue comments	2019-06-29 17:45:34 -05:00
Makefile	Handle deleting non-existant files on Windows	2019-08-30 15:45:46 +01:00
ssl-opt-in-docker.sh	Clean up file prologue comments	2019-06-29 17:45:34 -05:00
ssl-opt.sh	Enable serialisation tests in ssl-opt.sh	2019-08-23 13:11:31 +03:00