diff options
| author | Simon Warta <[email protected]> | 2017-08-04 11:52:35 +0200 |
|---|---|---|
| committer | Simon Warta <[email protected]> | 2017-08-04 11:54:40 +0200 |
| commit | 75413ec81ed672ee78dabe49a83e79e7a02ad5f7 (patch) | |
| tree | 1ab1039e51297fbb9e69e02061fe7a1f425a2715 /configure.py | |
| parent | b6b575d961b15d59f9382086fd59d1e5062a3cdb (diff) | |
Revert "configure.py: raise error when --prefix is not absolute path"
This reverts commit b6b575d961b15d59f9382086fd59d1e5062a3cdb.
In order to disallow prepend_prefix for relative paths, we do not need
to disallow a relativ --refix for users that do not use DESTDIR
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/configure.py b/configure.py index bce0c42d7..81ce264a2 100755 --- a/configure.py +++ b/configure.py @@ -2864,10 +2864,6 @@ def validate_options(options, info_os, info_cc, available_module_policies): raise UserError("--destdir was removed. Use the DESTDIR environment " "variable instead when calling 'make install'") - if options.prefix and not os.path.isabs(options.prefix): - raise UserError("expected an absolute directory name for --prefix: %s" % - options.prefix) - # Warnings if options.os == 'windows' and options.compiler == 'gcc': |