Lines Matching defs:time
6 import sys, time, pdb, string, cProfile
15 # timeit - time length of registry loading & header generation
50 elif (arg == '-time'):
51 write('Enabling timing (-time)', file=sys.stderr)
67 startTime = time.process_time()
70 endTime = time.process_time()
212 format("/* Generated on date %s */" % time.strftime("%Y%m%d")),
218 format("#define GL_GLEXT_VERSION %s" % time.strftime("%Y%m%d")),
223 format("#define WGL_WGLEXT_VERSION %s" % time.strftime("%Y%m%d")),
228 format("#define GLX_GLXEXT_VERSION %s" % time.strftime("%Y%m%d")),
233 format("#define EGL_EGLEXT_VERSION %s" % time.strftime("%Y%m%d")),
626 p.strip_dirs().sort_stats('time').print_stats(50)