This repository has been archived on 2023-02-02. You can view files and clone it, but cannot push or open issues or pull requests.
|
#!/usr/bin/env sh
|
|
|
|
# Set up logging.
|
|
log() { echo "🛠️ $(basename $0): $@"; }
|
|
|
|
# Move into the top level.
|
|
cd $(dirname $0)/..
|
|
|
|
./scripts/setup.sh || exit 1
|
|
|
|
log "building project"
|
|
dotnet build
|