blob: 2f61d58e6b4af54781af60352aff60229e443903 [file] [log] [blame]
#!/bin/bash
set -eu
dir=$(dirname "${BASH_SOURCE[0]}")
rustc -g -o "${dir}/check" "${dir}/check_external.rs"
"${dir}/check"