Gilles Peskine 262329603d all.sh: with --no-armcc, don't call armcc from output_env.sh ...

When not running armcc, don't try to invoke armcc at all, not even to
report its version.

2018-03-21 08:35:07 +01:00

..

data_files

Merge branch 'pr_1135' into development-proposed

2018-02-14 17:20:42 +01:00

git-scripts

…

scripts

all.sh: with --no-armcc, don't call armcc from output_env.sh

2018-03-21 08:35:07 +01:00

suites

Merge remote-tracking branch 'upstream-public/pr/778' into development-proposed

2018-03-12 23:45:08 +01:00

.gitignore

…

CMakeLists.txt

…

compat.sh

wait_server_start: warn if lsof is not available

2018-01-22 10:29:24 +01:00

Descriptions.txt

…

Makefile

…

ssl-opt.sh

Merge branch 'prr_424' into development-proposed

2018-02-22 16:15:01 +01:00