Ignore dist file at this moment

monsieurbiz · Nov 3, 2021 · 4c25e6c · 4c25e6c
1 parent cb78a18
commit 4c25e6c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -95,7 +95,7 @@ ${APP_DIR}/php.ini: php.ini
 	(cd ${APP_DIR} && ln -sf ../../php.ini)
 
 apply_dist:
-	cp -Rv dist/* ${APP_DIR}
+	cp -Rv dist/* ${APP_DIR} || true
 
 ###
 ### TESTS

diff --git a/dist/.gitkeep b/dist/.gitkeep