Paul, The following is a extract from libs.h showing changes "//ib".
I have also included the timer program source.

Edited by P. de Leeuw on 17-12-94 add extern def for clear_scr()
Edited by I. Binnie   on 11-03-92 elapsed time counter added	//ib
Edited by I. Binnie   on 10-06-91 new video driver with VGA/EGA support
...
				/* Directly Console Access Functions */
				/* Prototypes from binnie.c */
extern void clear(void);
extern void clear_scr(void);	//ib
...
			/* Prototypes from getbiost.as, elapsed.c */

extern unsigned long get_bios_timer_count(void);
extern void start_timer(int);
extern unsigned long elapsed_time(int);

/*
Program to execute command line and return elapsed time
Written in HITECH 'C' by Ian Binnie.

This program is written in "standard" C. 
Hardware dependant code in separate machine libraries required.
*/

#define edit_date 	"10 May 1996"
#define version 	"1.0"

#include 
#include 
#include 	/* Binnie library */

typedef unsigned long DWORD;

main(int argc, char **argv)
    {
    DWORD	t;
    char	**argvp;
    
    argvp = argv;

    setvbuf(stdout, 0, _IONBF, 0);			/* no screen buffering */
    
    if(argc>1)
	{
        printf("Executing -");
	while (--argc)
	    {
            printf(" %s", *++argvp);
            }
        printf("\n");
        start_timer(0);
        spawnvp(argv[1], &argv[1]);
        t = elapsed_time(0);
        printf("\nExecution time %6ld.%02ld seconds\n", t/100, t%100);
        }
    }

--- Blue Wave/386 v2.30