From fe53f0335e34b4a67943a96e439a7c306cb3811f Mon Sep 17 00:00:00 2001
From: Mike Ounsworth <mike@ounsworth.ca>
Date: Sun, 21 Jul 2024 17:28:19 -0500
Subject: [PATCH] Update test_certs_r3.sh

---
 src/test_certs_r3.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test_certs_r3.sh b/src/test_certs_r3.sh
index e71a5050..e68649b5 100755
--- a/src/test_certs_r3.sh
+++ b/src/test_certs_r3.sh
@@ -11,6 +11,7 @@ test_ta () {
     resultsfile=$2
 
     printf "\nTesting %s\n" $tafile
+    printf "\nTesting %s\n" $tafile >> $outputdir}/oqs.log
 
     # openssl always exits with 0, so we can't use exit status to tell if the cert was valid :/
     ossl_output=$(openssl verify -check_ss_sig -verbose -CAfile $tafile $tafile 2>&1)