From 60bc86596a91375333896fd1eb7e9bfec863c8ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Thu, 26 Dec 2024 01:41:18 +0100
Subject: [PATCH] Use pushd

---
 viper/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/viper/build.sh b/viper/build.sh
index 419c5949b..d1941e2e4 100755
--- a/viper/build.sh
+++ b/viper/build.sh
@@ -2,6 +2,7 @@ if [ ! -f $(dirname "$0")/viperserver/target/scala-*/viperserver.jar ]; then
   cd $(dirname "$0")/viperserver && sbt assembly
 fi
 
-cd $(dirname $0)
+pushd $(dirname $0)
 pip install -r viper_client/requirements.txt
 python viper_client/client.py -p 50424 -f $0 &> /dev/null || (Z3_EXE=$(which z3) java -Xss1024m -Xmx4024m -jar viperserver/target/scala-*/viperserver.jar -p 50424 > /dev/null &)
+popd