From 4386c13fb1a7f75592f23033d7a303926fcc11e7 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Sat, 31 Dec 2022 10:04:58 -0500
Subject: [PATCH] Minor adjustment of shebang lines in preprocessing scripts.

---
 .../preprocessing_scripts/prepare_file_for_VeriFast.sh         | 3 +--
 .../vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh     | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/prepare_file_for_VeriFast.sh b/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/prepare_file_for_VeriFast.sh
index 397d3f8e0..8cb4394ff 100755
--- a/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/prepare_file_for_VeriFast.sh
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/prepare_file_for_VeriFast.sh
@@ -1,5 +1,4 @@
-#!/bin/zsh
-ps -o comm= -p $$
+#!/bin/bash
 
 # This script expects the following command line arguments:
 # $1 : Absolute path to the source file that should be prepared for VeriFast.
diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh b/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
index 40ee596c0..5c6191f6f 100755
--- a/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
@@ -1,4 +1,4 @@
-ps -o comm= -p $$
+#!/bin/bash
 
 # This script rewrites a given source in-pace such that the result can be
 # processed by VeriFast. Each rewrite below concerns a specific construct