Store dumps in output dir for maintainer/inplace install

DOMjudge · Oct 21, 2023 · 0fb99d2 · 0fb99d2
1 parent adda8b3
commit 0fb99d2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -196,6 +196,7 @@ inplace-conf-common: dist
 	            --with-domserver_tmpdir=$(CURDIR)/output/tmp \
 	            --with-judgehost_tmpdir=$(CURDIR)/output/tmp \
 	            --with-judgehost_judgedir=$(CURDIR)/output/judgings \
+		    --with-domserver_databasedumpdir=$(CURDIR)/output/db-dumps \
 	            --with-baseurl='http://localhost/domjudge/' \
 	            CFLAGS='$(MAINT_CXFLAGS) -std=c11' \
 	            CXXFLAGS='$(MAINT_CXFLAGS) -std=c++11' \