diff options
author | raveit65 <[email protected]> | 2020-04-19 14:28:06 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2020-04-19 14:28:06 +0200 |
commit | 54d12f0b6be567f71d6f6da44f1a621f5aff2660 (patch) | |
tree | 2333361417abeec379b78c1553b787808017261f | |
parent | b09ec0be2da7f656e18a63685a459c7d9b33588b (diff) | |
download | marco-54d12f0b6be567f71d6f6da44f1a621f5aff2660.tar.bz2 marco-54d12f0b6be567f71d6f6da44f1a621f5aff2660.tar.xz |
ci: don't run configure with autogen.sh
-rw-r--r-- | .build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -149,7 +149,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 |