update Docker

davidfrantz · Oct 24, 2024 · c537943 · c537943
1 parent 68c51c9
commit c537943
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -45,7 +45,7 @@ COPY --chown=docker:docker . .
 RUN echo "building FORCE" && \
   ./splits.sh enable && \
   ./debug.sh $debug && \
-  sed -i "/^BINDIR=/cBINDIR=$INSTALL_DIR/" Makefile && \
+  sed -i "/^INSTALLDIR=/INSTALLDIR=$INSTALL_DIR/" Makefile && \
   make -j && \
   make install && \
   make clean && \

diff --git a/misc/force-version.txt b/misc/force-version.txt
@@ -1 +1 @@
-3.7.12-dev:::2024-10-24_14:10:15
+3.7.12-dev:::2024-10-24_14:13:31
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		3.7.12-dev:::2024-10-24_14:10:15
		3.7.12-dev:::2024-10-24_14:13:31