Skip to content

Commit 65968a8

Browse files
TesseractAmooskagh
authored andcommitted
Add pushd command in build.sh (LeelaChessZero#865)
Hmm I'm not entirely sure this is right.
1 parent 6a425b5 commit 65968a8

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

build.sh

+3-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
#!/usr/bin/env bash
22

3+
pushd "$(dirname "$0")"
4+
35
set -e
46

57
case $1 in
@@ -21,7 +23,7 @@ else
2123
meson ${BUILDDIR} --buildtype ${BUILDTYPE} --prefix ${INSTALL_PREFIX:-/usr/local} "$@"
2224
fi
2325

24-
pushd ${BUILDDIR}
26+
cd ${BUILDDIR}
2527

2628
NINJA=$(awk '/ninja/ {ninja=$4} END {print ninja}' meson-logs/meson-log.txt)
2729

0 commit comments

Comments
 (0)