544dcd8804
This defaults Chromium checkout to $HOME/chromium unless a `CR_CHROMIUM_CHECKOUT` is specified.
18 lines
258 B
Bash
Executable file
18 lines
258 B
Bash
Executable file
#!/bin/bash
|
|
set -e
|
|
set +x
|
|
|
|
trap "cd $(pwd -P)" EXIT
|
|
cd "$(dirname "$0")"
|
|
|
|
rm -rf output
|
|
if [[ -z "${CR_CHECKOUT_PATH}" ]]; then
|
|
CR_CHECKOUT_PATH="$HOME/chromium"
|
|
fi
|
|
|
|
if [[ ! -d "${CR_CHECKOUT_PATH}/src" ]]; then
|
|
rm -rf "${CR_CHECKOUT_PATH}/src/out"
|
|
fi
|
|
|
|
|