diff options
author | Armin Rigo <arigo@tunes.org> | 2016-03-29 20:04:23 +0200 |
---|---|---|
committer | Armin Rigo <arigo@tunes.org> | 2016-03-29 20:04:23 +0200 |
commit | 3f002c2ee3003c8ae3872a233ba243f49f4355d6 (patch) | |
tree | 3142270e0d37a6a3c9413a8c88a84e4d8e8deb19 /demo | |
parent | c48519e93c0a92e7e1ae63f38b95157bd8692318 (diff) | |
download | cffi-3f002c2ee3003c8ae3872a233ba243f49f4355d6.tar.gz |
With ffi.compile(verbose=True), also print the name of the C (or Python)
file being generated
Diffstat (limited to 'demo')
-rw-r--r-- | demo/gmp_build.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/demo/gmp_build.py b/demo/gmp_build.py index 7afe471..763d6cd 100644 --- a/demo/gmp_build.py +++ b/demo/gmp_build.py @@ -23,5 +23,4 @@ ffi.set_source('_gmp_cffi', "#include <gmp.h>", libraries=['gmp', 'm']) if __name__ == '__main__': - ffi.compile() - + ffi.compile(verbose=True) |