diff options
Diffstat (limited to 'build_scripts/options.py')
| -rw-r--r-- | build_scripts/options.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build_scripts/options.py b/build_scripts/options.py index 644649938..c17f6a100 100644 --- a/build_scripts/options.py +++ b/build_scripts/options.py @@ -180,6 +180,7 @@ OPTION_SANITIZE_ADDRESS = has_option("sanitize-address") OPTION_SNAPSHOT_BUILD = has_option("snapshot-build") OPTION_LIMITED_API = option_value("limited-api") OPTION_PACKAGE_TIMESTAMP = option_value("package-timestamp") +OPTION_SHORTER_PATHS = has_option("shorter-paths") # This is used automatically by distutils.command.install object, to # specify the final installation location. |