From 0d7701fdc0c4bef0c8322e646dadebbff9b58a17 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Wed, 13 Dec 2023 17:11:51 -0800
Subject: [PATCH] No pushd

---
 Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index e0257510..15de9328 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -162,13 +162,13 @@ RUN apt-get install -y git cmake bison flex libboost-all-dev python2 perl && \
   wget ${STP_URL} -nv -O stp.tar.gz && \
   mkdir stp && \
   tar xzf stp.tar.gz -C stp --strip-components=1 && \
-  pushd stp && \
+  cd stp && \
   ./scripts/deps/setup-gtest.sh && \
   ./scripts/deps/setup-outputcheck.sh && \
   ./scripts/deps/setup-cms.sh && \
   ./scripts/deps/setup-minisat.sh && \
   mkdir build && \
-  pushd build && \
+  cd build && \
   cmake .. && \
   cmake --build .
 ENV PATH="/root/stp/build:${PATH}"
@@ -180,7 +180,7 @@ RUN apt-get install -y gperf && \
   wget ${YICES2_URL} -nv -O yices2.tar.gz && \
   mkdir yices2 && \
   tar xvf yices2.tar.gz -C yices2 --strip-components=1 && \
-  pushd yices2 && \
+  cd yices2 && \
   autoconf && \
   ./configure && \
   make && \