From f56d20b543630135cedc3ea09d7160b552dccad9 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Sat, 10 Dec 2022 18:45:12 -0500
Subject: [PATCH] Removed comments and pragmas from diffed preprocessor output.

---
 .../custom_build_scripts_RP2040/preprocess_file_for_diff.sh    | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file_for_diff.sh b/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file_for_diff.sh
index b3ca1456d..0e4d6400a 100755
--- a/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file_for_diff.sh
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file_for_diff.sh
@@ -39,10 +39,9 @@ echo $VF_DIR
 # -P : Surpresses line/file pragmas
 
 echo start preprocessor
-clang -E -C \
+clang -E -P \
 \
 ${BUILD_FLAGS[@]} \
-${VERIFAST_FLAGS[@]} \
 ${RP2040_INLCUDE_FLAGS[@]} \
 ${PICO_INCLUDE_FLAGS[@]} \
 -I`prod_header_dir $REPO_BASE_DIR` \