diff options
author | Jussi Pakkanen <jpakkane@gmail.com> | 2013-10-13 23:03:25 +0300 |
---|---|---|
committer | Jussi Pakkanen <jpakkane@gmail.com> | 2013-10-13 23:03:25 +0300 |
commit | 7fa79797882a0df9c4f711b4bdb65bc0022e8ae6 (patch) | |
tree | ed35a2e3f314746097d6a2d405ba027cdafdcf0e /coredata.py | |
parent | f6d21a00d7fb97d89dfbee25aa314de7160ee8d3 (diff) | |
download | meson-7fa79797882a0df9c4f711b4bdb65bc0022e8ae6.zip meson-7fa79797882a0df9c4f711b4bdb65bc0022e8ae6.tar.gz meson-7fa79797882a0df9c4f711b4bdb65bc0022e8ae6.tar.bz2 |
Can enable or disable the use of pch.
Diffstat (limited to 'coredata.py')
-rw-r--r-- | coredata.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coredata.py b/coredata.py index 366e41a..5ba54c6 100644 --- a/coredata.py +++ b/coredata.py @@ -34,6 +34,7 @@ class CoreData(): self.backend = options.backend self.buildtype = options.buildtype self.strip = options.strip + self.use_pch = options.use_pch self.coverage = options.coverage if options.cross_file is not None: self.cross_file = os.path.join(os.getcwd(), options.cross_file) |