]> git.tuebingen.mpg.de Git - osl.git/commitdiff
build: Fix manual setting of CC.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 17 Sep 2020 16:21:30 +0000 (18:21 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 23 Sep 2020 16:59:10 +0000 (18:59 +0200)
We want to set CC not only if its value comes from the default origin
but also if it is undefined or empty. It's easiest to set it to "cc"
whenever its current value is empty.


No differences found