diff options
| author | raveit65 <[email protected]> | 2020-04-22 18:54:15 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2020-04-22 18:54:15 +0200 |
| commit | a10fa025ba9cc29e013f27b18f5b1524fb2f46f3 (patch) | |
| tree | 648a761ceff927de19020e7921c94414bb8f5db0 | |
| parent | c8e07a30e5c600f30f4b87131b66f068292e3c65 (diff) | |
| download | pluma-a10fa025ba9cc29e013f27b18f5b1524fb2f46f3.tar.bz2 pluma-a10fa025ba9cc29e013f27b18f5b1524fb2f46f3.tar.xz | |
ci: don't run configure with autogen.sh
| -rw-r--r-- | .build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -131,7 +131,7 @@ before_scripts: - make install build_scripts: - - ./autogen.sh + - NOCONFIGURE=1 ./autogen.sh - scan-build $CHECKERS ./configure - if [ $CPU_COUNT -gt 1 ]; then - scan-build $CHECKERS --keep-cc -o html-report make -j $CPU_COUNT |