diff options
| author | Aleksey Kladov <[email protected]> | 2020-02-19 21:22:10 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-02-19 21:24:29 +0000 |
| commit | 5e1d0e4ae4d9596b1ff8a8c10ac8898268e00b3a (patch) | |
| tree | 179a76faa53e252640de630653e13d9fddc479ce /editors/code/.gitignore | |
| parent | e00b9ca3c94d8f88cc5aede562365025a59af06b (diff) | |
Check that we use no C deps on CI
C deps are not a problem for a typical build, but cause issues in more
esoteric scenarios, like cross-compiling. Let's check that we don't
have them.
Setting `CC` to some dummy value should do the trick, as custom build
scripts typically respect this variable.
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions