mirror of
https://github.com/Noratrieb/game-wip-dontplay.git
synced 2026-01-14 19:55:02 +01:00
20 lines
No EOL
280 B
Bash
Executable file
20 lines
No EOL
280 B
Bash
Executable file
#!/bin/bash
|
|
|
|
cp tiles.rs src/tiles.rs
|
|
cargo clean -p mantle-diver
|
|
cargo build
|
|
|
|
./apply.py
|
|
|
|
OUT=$(cargo build 2>&1)
|
|
|
|
cp tiles.rs src/tiles.rs
|
|
|
|
if echo $OUT | grep "internal compiler error";
|
|
then
|
|
echo "The ICE reproduces"
|
|
exit 0
|
|
else
|
|
echo "No reproduction"
|
|
exit 1
|
|
fi |