diff options
author | raveit65 <[email protected]> | 2020-04-19 13:41:43 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2020-04-19 13:41:43 +0200 |
commit | 7737e5467a3221895c207dcc68e593e5518cbe31 (patch) | |
tree | cdd0b85d828821bc747bb7b050eef15477c22e82 | |
parent | dfe18d9522be1042513719e01c45be5916020bf6 (diff) | |
download | eom-7737e5467a3221895c207dcc68e593e5518cbe31.tar.bz2 eom-7737e5467a3221895c207dcc68e593e5518cbe31.tar.xz |
ci: don't run configure with autogen.sh
-rw-r--r-- | .build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -147,7 +147,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 + 1 )) |