mirror of
https://github.com/Noratrieb/incr.git
synced 2026-01-14 13:55:01 +01:00
testing
This commit is contained in:
parent
d5a4be9f8d
commit
bf79b6344a
1 changed files with 3 additions and 1 deletions
|
|
@ -9,7 +9,7 @@ echo "Testing $CRATE +$TOOLCHAIN"
|
||||||
cd $CRATE
|
cd $CRATE
|
||||||
|
|
||||||
function build() {
|
function build() {
|
||||||
(cd "$CRATE" && cargo "+$TOOLCHAIN" rustc --features=full --verbose -- -Zincremental-verify-ich -Zquery-dep-graph -Zdump-dep-graph)
|
(cd "$CRATE" && perf record cargo "+$TOOLCHAIN" rustc --features=full --verbose -- -Zincremental-verify-ich -Zquery-dep-graph -Zdump-dep-graph --emit=metadata)
|
||||||
}
|
}
|
||||||
|
|
||||||
for patch in ./patches/* ; do
|
for patch in ./patches/* ; do
|
||||||
|
|
@ -21,12 +21,14 @@ for patch in ./patches/* ; do
|
||||||
(cd "$CRATE" && git apply "../$patch")
|
(cd "$CRATE" && git apply "../$patch")
|
||||||
|
|
||||||
export RUST_DEP_GRAPH="../dep_graph1"
|
export RUST_DEP_GRAPH="../dep_graph1"
|
||||||
|
export RUSTC_RED_NODES_PATH="../red1"
|
||||||
build
|
build
|
||||||
|
|
||||||
(cd "$CRATE" && git checkout HEAD .)
|
(cd "$CRATE" && git checkout HEAD .)
|
||||||
|
|
||||||
echo "Reverting $patch..."
|
echo "Reverting $patch..."
|
||||||
|
|
||||||
|
export RUSTC_RED_NODES_PATH="../red2"
|
||||||
export RUST_DEP_GRAPH="../dep_graph2"
|
export RUST_DEP_GRAPH="../dep_graph2"
|
||||||
build
|
build
|
||||||
done
|
done
|
||||||
Loading…
Add table
Add a link
Reference in a new issue