debug sqlite success status

IITH-Compilers · Jul 8, 2024 · 88688ef · 88688ef
1 parent 616712e
commit 88688ef
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/test-suite/sanity_check.sh.cmake b/src/test-suite/sanity_check.sh.cmake
@@ -50,8 +50,10 @@ perform_vector_comparison() {
         SQLITE_VIR=sqlite3_${FILE_PREFIX}.txt
         SQLITE_INPUT=./PE-benchmarks-llfiles-${SEED_VERSION}/sqlite3.ll
         SQLITE_ORIG=oracle/${EncodingType}_${SEED_VERSION}_${FILE_PREFIX}/sqlite3.txt
+
+        echo -e "${BLUE}${BOLD} SQLITE is on status=($ENABLE_SQLITE). ${NC}"
     else
-        echo "$(tput bold)${RED}SQLITE is off or not set: ($ENABLE_SQLITE) ${NC}"
+        echo -e "${RED}${BOLD} SQLITE is off or not set: ($ENABLE_SQLITE) ${NC}"
     fi
 
     # if file prefix is p or f, run the first while loop, else, run the second while loop