diff options
author | Timo Röhling <roehling@debian.org> | 2022-04-11 12:03:39 +0200 |
---|---|---|
committer | Timo Röhling <roehling@debian.org> | 2023-09-16 11:25:25 +0200 |
commit | eae5d6c4ebe09e3dfe205b8713b2480ba6238a30 (patch) | |
tree | b22156db81f878a8c8125454e6891ad518cd0c5e | |
parent | e510ed7b94f679336b3d43105a12450b6089dd6a (diff) |
Remove check for unneeded development headers
Gbp-Pq: Name 0001-Remove-check-for-unneeded-development-headers.patch
-rwxr-xr-x | setup.py | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -54,12 +54,6 @@ if sys.version_info < (3, 4): sys.argv.remove('--user') -# Check that the user has installed the Python development headers -PythonH = os.path.join(get_python_inc(), 'Python.h') -if not os.path.exists(PythonH): - print("You must install the Python development headers!", file=sys.stderr) - print("$ apt-get install python-dev", file=sys.stderr) - sys.exit(-1) setup( version = '4.11.0', |