diff options
| author | Michael Elkins <melkins@tislabs.com> | 2013-04-04 23:39:29 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2013-04-04 23:39:29 +0000 |
| commit | 3ce4d43357e64d6f0537756838f337f204908a5c (patch) | |
| tree | b6e18a66c42882f235e9d6e31ef27325f797168f /rpkid/Makefile.in | |
| parent | 2d058227229aa94e20a7b8cdaff10b189d5072e3 (diff) | |
convert ${sbindir}/rpki-manage from a shell script to a pure python script
svn path=/trunk/; revision=5279
Diffstat (limited to 'rpkid/Makefile.in')
| -rw-r--r-- | rpkid/Makefile.in | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index aa47ab72..efbdd6d3 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -272,10 +272,8 @@ portal-gui/scripts/rpkigui-check-expired: portal-gui/scripts/rpkigui-check-expir portal-gui/rpki.wsgi: ${srcdir}/portal-gui/rpki.wsgi.in cp $? $@ -portal-gui/scripts/rpki-manage: ${srcdir}/portal-gui/scripts/rpki-manage.in - sed -e "s|@DJANGO""_ADMIN@|${DJANGO_ADMIN}|" \ - -e "s|@PYTHON""PATH@|${sysconfdir}/rpki|" \ - ${srcdir}/portal-gui/scripts/rpki-manage.in > portal-gui/scripts/rpki-manage +portal-gui/scripts/rpki-manage: ${srcdir}/portal-gui/scripts/rpki-manage.py + cp $? $@ chmod 755 $@ rpki/autoconf.py: Makefile |