fix Dockerfile

davidfrantz · Oct 25, 2024 · a78db43 · a78db43
1 parent 7bf9d45
commit a78db43
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -44,7 +44,7 @@ COPY --chown=docker:docker . .
 # Build, install, check FORCE
 RUN echo "building FORCE" && \
   ./debug.sh $debug && \
-  sed -i "/^INSTALLDIR=/INSTALLDIR=$INSTALL_DIR/" Makefile && \
+  sed -i "/^INSTALLDIR=/cINSTALLDIR=$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-25_07:21:16
+3.7.12-dev:::2024-10-25_07:30:42
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		3.7.12-dev:::2024-10-25_07:21:16
		3.7.12-dev:::2024-10-25_07:30:42