diff options
| author | Rob Austein <sra@hactrn.net> | 2011-01-20 19:59:13 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2011-01-20 19:59:13 +0000 |
| commit | 7c26e04d89406d7af06d2ad2c951d9d50a797cf0 (patch) | |
| tree | 95bbb84e3e392043930864c3c8bbfa595b2236a7 /buildtools/python-header | |
| parent | 257406947dddcad49f9750977b8468fbf68b92f6 (diff) | |
Generate Python executables during compilation rather than from
./configure. Change (almost) all programs to use rpki.conf instead of
separate config files for each program, and add support for
${prefix}/etc/rpki.conf like normal system programs.
svn path=/buildtools/make-python-executable.py; revision=3620
Diffstat (limited to 'buildtools/python-header')
| -rw-r--r-- | buildtools/python-header | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/buildtools/python-header b/buildtools/python-header deleted file mode 100644 index 24120c9d..00000000 --- a/buildtools/python-header +++ /dev/null @@ -1,3 +0,0 @@ -#!@PYTHON@ -# -*- Python-*- @configure_input@ - |