diff options
Diffstat (limited to 'optimistic/makefile')
-rw-r--r-- | optimistic/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/optimistic/makefile b/optimistic/makefile index 297427a..e7bd43f 100644 --- a/optimistic/makefile +++ b/optimistic/makefile @@ -79,7 +79,7 @@ $(dist): $(test): header := $(odb_hdr) $(test): $(driver) $(call schema) - $(call message,test $<,$< --options-file $(dcf_root)/db.options) + $(call message,test $<,$< --options-file $(dcf_root)/$(db_id).options) # Clean. # |