15 lines
304 B
Bash
Executable File
15 lines
304 B
Bash
Executable File
#! /usr/bin/env bash
|
|
|
|
SCRIPT_DIR=$(CDPATH= cd -- "$(dirname -- "$0")" && pwd -P)/..
|
|
cd "$SCRIPT_DIR" || exit 1
|
|
|
|
. "$SCRIPT_DIR/config.sh"
|
|
|
|
if [ -f "$SCRIPT_DIR/config_override.sh" ]; then
|
|
. "$SCRIPT_DIR/config_override.sh"
|
|
fi
|
|
|
|
./buildscripts/clean.sh
|
|
wsl make distclean
|
|
./buildscripts/build.sh
|
|
wsl make |