34 |
|
|
35 |
bintime = get_file_ctime(binfile) |
bintime = get_file_ctime(binfile) |
36 |
srctime = get_file_ctime(srcfile) |
srctime = get_file_ctime(srcfile) |
37 |
print binfile,bintime,srcfile,srctime |
|
38 |
if srctime > bintime: |
if srctime > bintime: |
39 |
os.system("make -C gfx/libtexture " + name + ".bin") |
os.system("make -C gfx/libtexture " + name + ".bin") |
40 |
bintime = get_file_ctime(binfile) |
bintime = get_file_ctime(binfile) |
41 |
|
|
42 |
key = str(args) |
key = str(args) |
43 |
if texcache.has_key(key) and texcache[(key,"ctime")] == srctime: |
if texcache.has_key(key) and texcache[(key,"ctime")] == srctime: |
44 |
print "Returning cached texture" |
#print "Returning cached texture" |
45 |
return texcache[key] |
return texcache[key] |
46 |
|
|
47 |
tex = GL.createTexture() |
tex = GL.createTexture() |