			#include <sys/time.h>

			/* double seconds_(void)
			{
			// Return elapsed wall time in s.

			struct timeval tp;
			struct timezone tzp;
			int i;
			i = gettimeofday(&tp,&tzp);
			return ( (double) tp.tv_sec + (double) tp.tv_usec * 1.e-6 );
			}
			/**********************************************/
			#include <string.h>

			void quit_();
			void dump_(char filename, int l);

			void Dump(filename)
			char *filename;
			{
			/* The user's dump routine should go here. */
			int l = strlen(filename);
			// dump_(filename, &l);

			} /* End DUMP */

			/**********************************************/

			void Quit()
			{
			/* The user's quit routine should go here. */

			// quit_();

			} /* End QUIT */

fennecs/src/extra.c
8e1a8910f8ffmaster

extra.c
View Options