1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-30 13:17:45 +00:00

Move everything to a subdirectory

Also don't run cd for the initial git clone (DERP!), and other bash port fixes.
This commit is contained in:
Robin Burchell 2019-05-28 02:58:36 +02:00 committed by Andreas Kling
parent b12a096437
commit 9a284ad3f7
6 changed files with 15 additions and 9 deletions

View file

@ -25,12 +25,18 @@ function run_command() {
echo "+ FINISHED: $@"
}
function run_command_nocd() {
echo "+ $@ (nocd)"
("$@")
echo "+ FINISHED (nocd): $@"
}
function run_fetch_git() {
if [ -d "$PORT_DIR/.git" ]; then
run_command git fetch
run_command git reset --hard FETCH_HEAD
else
run_command git clone "$1" "$PORT_DIR"
run_command_nocd git clone "$1" "$PORT_DIR"
fi
}