40 |
global texcache |
global texcache |
41 |
|
|
42 |
name = args[6] |
name = args[6] |
43 |
file = "src/texture/" + name |
file = "../libvob/src/texture/" + name |
44 |
binfile = file + ".bin" |
binfile = file + ".bin" |
45 |
srcfile = file + ".texture" |
srcfile = file + ".texture" |
46 |
|
|
48 |
srctime = File(srcfile).lastModified() |
srctime = File(srcfile).lastModified() |
49 |
|
|
50 |
if srctime > bintime: |
if srctime > bintime: |
51 |
os.system("make -C src/texture " + name + ".bin") |
os.system("make -C ./libvob/src/texture " + name + ".bin") |
52 |
|
|
53 |
key = str((args,shade_all_levels)) |
key = str((args,shade_all_levels)) |
54 |
if texcache.has_key(key) and texcache[(key,"ctime")] == srctime: |
if texcache.has_key(key) and texcache[(key,"ctime")] == srctime: |