1 1984-01-07  display_benchmark_script
 2 
 3 Syntax as a command:  display_benchmark_script SCRIPT_PATH
 4 
 5 
 6 Function:  displays a file of benchmark script records in ASCII.
 7 
 8 
 9 Arguments:
10 SCRIPT_PATH
11 
12    the pathname of a binary script record file.  If the suffix .bmark
13    is not given it is assumed.
14 
15 
16 Notes: See the cv_benchmark_script command for more information, and
17 benchmark.gi.info for a general introduction to the benchmark
18 subsystem.