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
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
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...