From f9ff852d66c16e541bd43c4d3680314581477036 Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Sat, 2 Nov 2024 11:30:30 -0400
Subject: Squelch shell's pushd/popd commands

---
 tests/setup.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'tests')

diff --git a/tests/setup.sh b/tests/setup.sh
index 3fda829..50209ae 100644
--- a/tests/setup.sh
+++ b/tests/setup.sh
@@ -24,6 +24,14 @@ setup_script_dir="$(dirname ${BASH_SOURCE[0]})"
 export TOPDIR=$(pwd)
 export TEST_DATA="$TOPDIR"/data
 
+pushd() {
+    command pushd "$@" 1>/dev/null
+}
+
+popd() {
+    command popd 1>/dev/null
+}
+
 WS_DEFAULT="workspaces/rt_workspace_"
 setup_workspace() {
     if [ -z "$1" ]; then
-- 
cgit