17 lines
310 B
Bash
Executable File
17 lines
310 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 config_overide.sh ]; then
|
|
. "$SCRIPT_DIR/config_override.sh"
|
|
fi
|
|
|
|
./clean.sh
|
|
wsl make distclean
|
|
wsl make clean-extensions
|
|
wsl make new-extensions
|
|
./build.sh
|
|
wsl make |