Diffusion Clazy 773371499f23

Merge branch '1.4' into master

Authored by smartins on Sep 22 2018, 9:41 PM.

Description

Merge branch '1.4' into master

Details

Committed
smartinsSep 22 2018, 9:41 PM
Parents
R74:64023370e045: Merge branch '1.3' into 1.4
R74:cfa3919bc1b2: Merge branch '1.4' into master
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
64023370e045smartins
Merge branch '1.3' into 1.4 
Sep 22 2018
d6cb7569816csmartins
Workaround crash with LLVM 7 
Sep 22 2018
3665a54a9f52smartins
build-clazy.sh: Don't checkout an old branch 
Sep 22 2018
635178c16b9fsmartins
test_docker.py: Fix passing --branch argument 
Sep 22 2018
a81154e97454smartins
run_tests.py: Print compiler output when test fails to compile 
Sep 22 2018
13590f53043fsmartins
docker: Fix llvm paths on debian 
Sep 22 2018
8a70cc63430bsmartins
test_docker.py: Fix typo 
Sep 22 2018