Lines Matching defs:time
6 import sys, time, pdb, string, cProfile
15 # timeit - time length of registry loading & header generation
33 startTime = time.process_time()
36 endTime = time.process_time()
157 format('/* Generated on date %s */' % time.strftime('%Y%m%d')),
163 format('#define GL_GLEXT_VERSION %s' % time.strftime('%Y%m%d')),
168 format('#define WGL_WGLEXT_VERSION %s' % time.strftime('%Y%m%d')),
173 format('#define GLX_GLXEXT_VERSION %s' % time.strftime('%Y%m%d')),
184 format('#define EGL_EGLEXT_VERSION %s' % time.strftime('%Y%m%d')),
529 elif (arg == '-time'):
530 write('Enabling timing (-time)', file=sys.stderr)
575 p.strip_dirs().sort_stats('time').print_stats(50)