diff options
Diffstat (limited to 'win/build_all.py')
| -rw-r--r-- | win/build_all.py | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/win/build_all.py b/win/build_all.py index 2c4d1aa..47716a1 100644 --- a/win/build_all.py +++ b/win/build_all.py @@ -54,13 +54,14 @@ def main(config): if tap: build_ddk(config, 'tap', 'all') build_ddk(config, 'tapinstall', 'all') - else: - print "Not building the TAP driver" - - if signedBuild: - sign(config, 'all') + if signedBuild: + sign(config, 'all') + make_dist(config,tap=True) - make_dist(config) + else: + if 'TAP_PREBUILT' in config: + print "Using prebuilt TAP driver" + make_dist(config,tap=False) # if we are run directly, and not loaded as a module if __name__ == "__main__": |