diff options
| author | Josh Stone <cuviper@gmail.com> | 2024-03-17 13:10:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-17 13:10:49 -0700 |
| commit | f512f9e94903b81030672678592aff44ae777e20 (patch) | |
| tree | e96c0130df94cf222ebcaa15f9990689febbeccb /src/ci/docker | |
| parent | 7936e18213941c903f02bc84720ac535393a0328 (diff) | |
Use `pushd` and `popd`
Co-authored-by: Urgau <3616612+Urgau@users.noreply.github.com>
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/host-x86_64/dist-x86_64-linux/build-gccjit.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ci/docker/host-x86_64/dist-x86_64-linux/build-gccjit.sh b/src/ci/docker/host-x86_64/dist-x86_64-linux/build-gccjit.sh index 200823848fa..5bc6f5cc216 100755 --- a/src/ci/docker/host-x86_64/dist-x86_64-linux/build-gccjit.sh +++ b/src/ci/docker/host-x86_64/dist-x86_64-linux/build-gccjit.sh @@ -16,7 +16,7 @@ curl -L "$GIT_REPO/archive/$GIT_COMMIT.tar.gz" | tar -xz --transform "s/gcc-$GIT_COMMIT/gcc-src/" mkdir gcc-build gcc-install -cd gcc-build +pushd gcc-build # Building GCC. hide_output \ @@ -31,7 +31,7 @@ hide_output \ hide_output make -j$(nproc) hide_output make install -cd .. +popd rm -rf gcc-src gcc-build ln -s /scripts/gcc-install/lib/libgccjit.so /usr/lib/x86_64-linux-gnu/libgccjit.so ln -s /scripts/gcc-install/lib/libgccjit.so /usr/lib/x86_64-linux-gnu/libgccjit.so.0 |