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