From 5b224ccb46d02714ae9bf9c42c238800f604be6a Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 12 Nov 2024 22:48:22 -0800
Subject: [PATCH] Include more variants in fname to hopefully handle
 https://github.com/coq/coq/pull/19822#issuecomment-2472571640

---
 coqbot-config.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coqbot-config.sh b/coqbot-config.sh
index 7a75787..9f21c71 100644
--- a/coqbot-config.sh
+++ b/coqbot-config.sh
@@ -108,7 +108,7 @@ for i in "\$@"; do
     next_is_special="\${next_next_is_special}"
     next_next_is_special=no
   elif [ "\${next_is_v_file}" == "yes" ] || [[ "\$i" == *".v" ]]; then
-    fname="\$fname \$i"
+    fname="\$fname \$i \$(readlink -f "\$i")"
     args+=("\$i") # ("\$(readlink -f "\$i")") # we absolutize this later instead of now, to preserve output tests in HB
     next_is_v_file=no
   else