From 76c690870734c6c98dc453fa4a0c7ddfbeb4584e Mon Sep 17 00:00:00 2001
From: Tom Alexander <tom@fizz.buzz>
Date: Sat, 22 Apr 2023 21:50:34 -0400
Subject: [PATCH] Fix the test runner script to work on mixed case names.

---
 scripts/run_integration_test.bash | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/run_integration_test.bash b/scripts/run_integration_test.bash
index 9185c652..ca161831 100755
--- a/scripts/run_integration_test.bash
+++ b/scripts/run_integration_test.bash
@@ -13,9 +13,9 @@ function get_test_names {
             test_file_full_path=$(readlink -f "$test_file")
             relative_to_samples=$(realpath --relative-to "$samples_dir" "$test_file_full_path")
             without_extension="${relative_to_samples%.org}"
-            echo "${without_extension/\//_}"
+            echo "${without_extension/\//_}" | tr '[:upper:]' '[:lower:]'
         else
-            echo "$test_file"
+            echo "$test_file" | tr '[:upper:]' '[:lower:]'
         fi
     done
 }