Revision 9a5533382d84999e4e79642e1ec0f8bfa9b70ba8 authored by Wenjia Zhang on 19 July 2024, 20:13:00 UTC, committed by Wenjia Zhang on 19 July 2024, 20:13:00 UTC
1 parent d6479db
Raw File
build
#!/usr/bin/env bash

set -euo pipefail

echo -e "\\e[91mDEPRECATED!!! Use build.sh script instead.\\e[0m\\n"
sleep 1

source ./build.sh
back to top