diff options
author | raveit65 <[email protected]> | 2020-04-07 22:19:12 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2020-04-07 22:19:12 +0200 |
commit | 92221d58b50dbb9490ab3a87740e0f0f353288ec (patch) | |
tree | c1b1b0182bc9988cf75c95824cce7f63aa7d588f | |
parent | 3c043e76fc0443039026adc88dea6f5ac706aa6e (diff) | |
download | engrampa-92221d58b50dbb9490ab3a87740e0f0f353288ec.tar.bz2 engrampa-92221d58b50dbb9490ab3a87740e0f0f353288ec.tar.xz |
ci: variables, drop obsolete Warn_Cflags
-rw-r--r-- | .build.yml | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -73,7 +73,6 @@ requires: - yelp-tools variables: - - CFLAGS="-Wall -Werror=format-security -Wredundant-decls" - 'CHECKERS=" -enable-checker deadcode.DeadStores -enable-checker alpha.deadcode.UnreachableCode |