]> git.tue.mpg.de Git - osl.git/commit
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)
commitc2e27a85d7a7b8d4ce734c88f9ff1493b87a5789
tree6bc1aa9dc951011cb0827456d32ed72d4d70b278
parentdea52d3cb07ee32517dc38ec909725d83a63b7bb
build: Fix manual setting of CC.

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.
Makefile