lalrpop/update_lrgrammar.sh
Markus Westerlind 86956c2b67 Update lrgrammar
2020-02-28 20:17:41 +01:00

5 lines
192 B
Bash

#!/bin/sh
cp -f lalrpop/src/parser/lrgrammar.rs lalrpop/src/parser/lrgrammar.rs.bak
cargo run -p lalrpop -- --force --no-whitespace --out-dir . lalrpop/src/parser/lrgrammar.lalrpop || exit 1