bindings/python/wscript
changeset 3575 1f5d9b97a1a2
parent 3574 b6804efbe16b
child 3591 f548d13ffd4e
equal deleted inserted replaced
3574:b6804efbe16b 3575:1f5d9b97a1a2
   372         bindgen.prio = 50
   372         bindgen.prio = 50
   373 
   373 
   374         bindgen.os_env = dict(os.environ)
   374         bindgen.os_env = dict(os.environ)
   375         if not env['ENABLE_GTK_CONFIG_STORE']:
   375         if not env['ENABLE_GTK_CONFIG_STORE']:
   376             bindgen.os_env['DISABLE_GTK_CONFIG_STORE'] = "1"
   376             bindgen.os_env['DISABLE_GTK_CONFIG_STORE'] = "1"
       
   377         if not env['SQLITE_STATS']:
       
   378             bindgen.os_env['SQLITE_STATS'] = "1"
   377 
   379 
   378 
   380 
   379     ## we build python bindings if either we have the tools to
   381     ## we build python bindings if either we have the tools to
   380     ## generate them or if the pregenerated source file is already
   382     ## generate them or if the pregenerated source file is already
   381     ## present in the source dir.
   383     ## present in the source dir.