mirror of
https://github.com/fluencelabs/lalrpop
synced 2025-04-24 18:52:16 +00:00
12 lines
251 B
Bash
12 lines
251 B
Bash
#!/bin/bash
|
|
#
|
|
# This script runs on travis to prep the CI as needed.
|
|
|
|
if command -v mdbook >/dev/null 2>&1; then
|
|
echo "mdbook already installed at $(command -v mdbook)"
|
|
else
|
|
echo "installing mdbook"
|
|
cargo install mdbook --vers "0.1.2"
|
|
fi
|
|
|