--trace=muscles

* src/getargs.h, src/getargs.c (trace_muscle): New.
	(trace_types, trace_args): Support it.
	* src/output.c (output_skeleton): Use it.
(cherry picked from commit 5263bea9f7)
This commit is contained in:
Akim Demaille
2008-08-12 21:48:44 +02:00
committed by Joel E. Denny
parent 96002de2e1
commit c65e529237
4 changed files with 21 additions and 7 deletions

View File

@@ -1,3 +1,10 @@
2008-11-10 Akim Demaille <demaille@gostai.com>
--trace=muscles
* src/getargs.h, src/getargs.c (trace_muscle): New.
(trace_types, trace_args): Support it.
* src/output.c (output_skeleton): Use it.
2008-11-10 Akim Demaille <demaille@gostai.com>
muscles_output.