diff options
Diffstat (limited to 'buildtools/make-python-executable.py')
| -rw-r--r-- | buildtools/make-python-executable.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/buildtools/make-python-executable.py b/buildtools/make-python-executable.py index 2f95b001..eeb31e39 100644 --- a/buildtools/make-python-executable.py +++ b/buildtools/make-python-executable.py @@ -26,9 +26,6 @@ sys.stdout.write('''\ #!%(AC_PYTHON_INTERPRETER)s # Automatically constructed script header -# Some scripts need this, and it must be first executable statement -from __future__ import with_statement - # Set location of global rpki.conf file if __name__ == "__main__": import rpki.config |