diff options
Diffstat (limited to 'schemas/Makefile.in')
| -rw-r--r-- | schemas/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/schemas/Makefile.in b/schemas/Makefile.in index b7dae635..6d2a34b0 100644 --- a/schemas/Makefile.in +++ b/schemas/Makefile.in @@ -47,7 +47,7 @@ ${abs_top_srcdir}/rpki/relaxng.py: ${abs_top_srcdir}/buildtools/make-relaxng.py mv $@.tmp $@ ${abs_top_srcdir}/rpki/sql_schemas.py: ${abs_top_srcdir}/buildtools/make-sql-schemas.py ${SQLS} - ${PYTHON} ${abs_top_srcdir}/buildtools/make-sql-schemas.py >$@.tmp + cd sql; ${PYTHON} ${abs_top_srcdir}/buildtools/make-sql-schemas.py >$@.tmp mv $@.tmp $@ relaxng/left-right-schema.rng: relaxng/left-right-schema.rnc |