mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-20 00:30:49 +00:00
CI: development [#CLICKHOUSE-2]
This commit is contained in:
parent
fa59cbc871
commit
fc1fa366d2
@ -12,7 +12,7 @@ pushd "${WORKSPACE}/build"
|
||||
|
||||
cmake -D CMAKE_BUILD_TYPE=Debug $CMAKE_FLAGS ../sources
|
||||
|
||||
make re2_st # Generated headers
|
||||
make -j $THREADS re2_st # Generated headers
|
||||
|
||||
jq --raw-output '.[] | .command' compile_commands.json | grep -v -P -- '-c .+/contrib/' | sed -r -e 's/-o\s+\S+/-fsyntax-only/' > syntax-commands
|
||||
xargs --arg-file=syntax-commands --max-procs=$THREADS --replace /bin/sh -c "{}"
|
||||
|
Loading…
Reference in New Issue
Block a user