debug test 4 CircleCI

cbcrg · Jun 23, 2023 · 80d7c7c · 80d7c7c
1 parent 7cb511f
commit 80d7c7c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/t_coffee_lib/t_coffee.c b/lib/t_coffee_lib/t_coffee.c
@@ -510,7 +510,7 @@ int batch_main ( int argc, char **argv)
 	int     display;
 	int sand_box=0;
 
-
+	HERE ("***************   This should be the debugged Version *****************");
 
 	if (sand_box==1)
 	  {
@@ -4327,7 +4327,9 @@ get_cl_param(\
 /*                                                                                                     */
 /*******************************************************************************************************/
 
+
 
+
 
 /*Re-introduce the sequences introduced with -infile*/
 /*Standard*/