| #!/bin/bash |
| |
| # cd to the directory this script lives in |
| readonly SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" |
| cd "$SCRIPT_DIR" |
| |
| if [ $# -ne 3 ]; then |
| echo "Usage: $0 <major> <minor> <patch>" >&2 |
| exit 1 |
| fi |
| |
| MAJOR="$1" |
| MINOR="$2" |
| PATCH="$3" |
| |
| LINK_PATTERN="crypto_${MAJOR}_${MINOR}_${PATCH}" |
| LINK_RESULT=$(grep "#\[link(name = \"${LINK_PATTERN}\")\]" boringssl.rs | wc -l) |
| if [ "$LINK_RESULT" -ne 1 ]; then |
| echo "link attribute missing or incorrect" |
| exit 1 |
| fi |
| |
| LINK_NAME_PATTERN="__RUST_MUNDANE_${MAJOR}_${MINOR}_${PATCH}_[A-Za-z0-9_]\+" |
| LINK_NAME_RESULT=$(grep -n "#\[link_name = \".*\"\]" boringssl.rs \ |
| | grep -v "#\[link_name = \"${LINK_NAME_PATTERN}\"\]") |
| if [[ ! -z "$LINK_NAME_RESULT" ]]; then |
| echo "Mismatched link_name attribute(s) found:" |
| echo "$LINK_NAME_RESULT" |
| exit 1 |
| fi |
| |
| exit 0 |