restore missing check on CLI setting (agh review comment 1)
treeb874c6512ae9d48189cbb3309ff9be196662ac98
-rw-r--r-- 152 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 306 .gitignore
-rwxr-xr-x 2231 .travis.sh
-rwxr-xr-x 1011 .travis.yml
-rw-r--r-- 1195 CONTRIBUTING.md
-rw-r--r-- 1395 CREDITS
-rw-r--r-- 733 Dockerfile
-rwxr-xr-x 542 JLinkSettings.ini
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 38604 Makefile
-rw-r--r-- 397 Notes.md
-rw-r--r-- 6078 README.md
-rw-r--r-- 1146 Vagrantfile
-rwxr-xr-x 96 build.sh
-rwxr-xr-x 1250 build_docs.sh
drwxr-xr-x - docs
-rwxr-xr-x 813 fake_travis_build.sh
-rwxr-xr-x 260 install-toolchain.sh
drwxr-xr-x - lib
drwxr-xr-x - src
drwxr-xr-x - support