2
0
mirror of https://gitlab.com/ita1024/waf.git synced 2024-11-22 01:46:15 +01:00
waf/playground/cfg_cache/wscript
2011-09-10 11:13:51 +02:00

21 lines
381 B
Python

#! /usr/bin/env python
"""
compare the execution time of
waf configure
and
waf configure --confcache
"""
top = '.'
out = 'build'
def options(opt):
opt.load('compiler_c')
opt.add_option('--confcache', dest='confcache', default=0, action='count', help='Use a configuration cache')
def configure(conf):
conf.load('compiler_c')
conf.check(fragment='int main() { return 0; }')