diff options
| -rw-r--r-- | service-type-database/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/service-type-database/Makefile.am b/service-type-database/Makefile.am index 4e0c9f8..c41dc70 100644 --- a/service-type-database/Makefile.am +++ b/service-type-database/Makefile.am @@ -50,10 +50,12 @@ build-db: build-db.in chmod +x $@ service-types.db.pag: service-types.db + mv service-types.db.coming.pag service-types.db.pag service-types.db.dir: service-types.db + mv service-types.db.coming.dir service-types.db.dir service-types.db: service-types build-db $(PYTHON) build-db $< $@.coming - mv $@.coming $@ + if test -f "$@.coming"; then mv $@.coming $@; fi CLEANFILES = service-types.db* build-db |