mirror of
https://github.com/Noratrieb/incr.git
synced 2026-01-16 06:35:03 +01:00
more
This commit is contained in:
parent
aaaf765d32
commit
d5a4be9f8d
1 changed files with 8 additions and 3 deletions
|
|
@ -9,19 +9,24 @@ echo "Testing $CRATE +$TOOLCHAIN"
|
||||||
cd $CRATE
|
cd $CRATE
|
||||||
|
|
||||||
function build() {
|
function build() {
|
||||||
(cd "$CRATE" && RUSTFLAGS='-Zincremental-verify-ich' cargo "+$TOOLCHAIN" build --features=full)
|
(cd "$CRATE" && cargo "+$TOOLCHAIN" rustc --features=full --verbose -- -Zincremental-verify-ich -Zquery-dep-graph -Zdump-dep-graph)
|
||||||
}
|
}
|
||||||
|
|
||||||
build
|
|
||||||
|
|
||||||
for patch in ./patches/* ; do
|
for patch in ./patches/* ; do
|
||||||
|
echo "Running fresh build..."
|
||||||
|
build
|
||||||
|
|
||||||
echo "Applying $patch..."
|
echo "Applying $patch..."
|
||||||
|
|
||||||
(cd "$CRATE" && git apply "../$patch")
|
(cd "$CRATE" && git apply "../$patch")
|
||||||
|
|
||||||
|
export RUST_DEP_GRAPH="../dep_graph1"
|
||||||
build
|
build
|
||||||
|
|
||||||
(cd "$CRATE" && git checkout HEAD .)
|
(cd "$CRATE" && git checkout HEAD .)
|
||||||
|
|
||||||
|
echo "Reverting $patch..."
|
||||||
|
|
||||||
|
export RUST_DEP_GRAPH="../dep_graph2"
|
||||||
build
|
build
|
||||||
done
|
done
|
||||||
Loading…
Add table
Add a link
Reference in a new issue