diff options
| author | Greg Ward <gward@python.net> | 2000-09-13 01:02:25 (GMT) |
|---|---|---|
| committer | Greg Ward <gward@python.net> | 2000-09-13 01:02:25 (GMT) |
| commit | 3a0310a328384180b07547091dea5be477a06177 (patch) | |
| tree | 901d77b6696900b7ecb5764cefa1d283e257af36 /Lib/distutils/command/install_headers.py | |
| parent | 1830b2118676679813aedf211f6b967bb3fe4396 (diff) | |
| download | cpython-3a0310a328384180b07547091dea5be477a06177.zip cpython-3a0310a328384180b07547091dea5be477a06177.tar.gz cpython-3a0310a328384180b07547091dea5be477a06177.tar.bz2 | |
Added --force (-f) option to force installation (including bytecode
compilation).
Diffstat (limited to 'Lib/distutils/command/install_headers.py')
| -rw-r--r-- | Lib/distutils/command/install_headers.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Lib/distutils/command/install_headers.py b/Lib/distutils/command/install_headers.py index 2e6ce86..5c06d57 100644 --- a/Lib/distutils/command/install_headers.py +++ b/Lib/distutils/command/install_headers.py @@ -17,16 +17,21 @@ class install_headers (Command): user_options = [('install-dir=', 'd', "directory to install header files to"), + ('force', 'f', + "force installation (overwrite existing files)"), ] def initialize_options (self): self.install_dir = None + self.force = 0 self.outfiles = [] def finalize_options (self): self.set_undefined_options('install', - ('install_headers', 'install_dir')) + ('install_headers', 'install_dir'), + ('force', 'force')) + def run (self): headers = self.distribution.headers |