mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use pushd and popd

Browse Source 
Co-authored-by: Urgau <3616612+Urgau@users.noreply.github.com>
This commit is contained in:
Josh Stone 2024-03-17 13:10:49 -07:00 committed by GitHub
parent 7936e18213
commit f512f9e949
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ci/docker/host-x86_64/dist-x86_64-linux/build-gccjit.sh
View File

@ -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