Files
2026-02-04 17:39:32 +08:00

11 lines
165 B
Bash
Executable File

#!/bin/bash
set -e
TOP_DIR="$( cd "$( dirname "$0" )" && pwd )"
cd ${TOP_DIR}
rm -rf build > /dev/null 2>&1
cmake $TOP_DIR -Bbuild $@
cmake --build build -- -j32