Fix PR issue for colibri target
treef2668f76318e82ad9b71721f65fa7a579ba717dc
-rw-r--r-- 152 .gitattributes
-rw-r--r-- 171 .gitignore
-rwxr-xr-x 2123 .travis.sh
-rw-r--r-- 1217 .travis.yml
-rw-r--r-- 879 CONTRIBUTING.md
-rwxr-xr-x 542 JLinkSettings.ini
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 26727 Makefile
-rw-r--r-- 397 Notes.md
-rw-r--r-- 5437 README.md
-rw-r--r-- 1141 Vagrantfile
-rwxr-xr-x 1117 build_docs.sh
drwxr-xr-x - docs
-rw-r--r-- 681 fake_travis_build.sh
drwxr-xr-x - lib
drwxr-xr-x - src
drwxr-xr-x - support
-rw-r--r-- 2299 top_makefile