.jenkins
|
Add Jenkinsfile for PR job
|
2018-10-19 15:25:10 +01:00 |
data_files
|
Fix typo in data_file generator code
|
2019-04-10 11:50:36 +01:00 |
git-scripts
|
Add doxygen.sh script to git hooks
|
2018-06-27 17:41:00 +03:00 |
scripts
|
Use 'config.pl baremetal' in all.sh
|
2019-04-29 12:48:21 +02:00 |
.gitignore
|
Move some ignore patterns to subdirectories
|
2015-01-28 15:33:23 +00:00 |
compat.sh
|
Adjust DES exclude lists in test scripts
|
2019-03-01 10:30:11 +01:00 |
Makefile
|
Add a facility to skip running some test suites
|
2018-12-14 18:29:28 +01:00 |