diff options
Diffstat (limited to 'rpkid/Makefile.in')
| -rw-r--r-- | rpkid/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index ad412e4e..138e2690 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -43,6 +43,7 @@ POW_SO = rpki/POW/_POW.so all:: rpki/autoconf.py ${POW_SO} rpki/relaxng.py myrpki.rng rpki/sql_schemas.py ${POW_SO}: ext/POW.c setup.py setup_autoconf.py + ${PYTHON} setup.py build_ext ${PYTHON} setup.py build_ext --inplace clean:: |