Don't throw error if db_uri.secret was already deleted

fi-ksi · May 20, 2022 · aaa800d · aaa800d
1 parent 90bec66
commit aaa800d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -14,12 +14,12 @@ include .env
 ksi_build/%.html: notebooks/%.ipynb
 	echo $(DB_URI_KSI) > db_uri.secret
 	ksi-py3-venv/bin/python3 export_monitoring_notebook $< $@
-	rm db_uri.secret
+	rm db_uri.secret || true
 
 naskoc_build/%.html: notebooks/%.ipynb
 	echo $(DB_URI_NASKOC) > db_uri.secret
 	ksi-py3-venv/bin/python3 export_monitoring_notebook $< $@
-	rm db_uri.secret
+	rm db_uri.secret || true
 
 docker_build/%.html: notebooks/%.ipynb
 	python3 export_monitoring_notebook $< $@

diff --git a/kleobis-deploy.sh b/kleobis-deploy.sh
@@ -4,4 +4,4 @@ git fetch origin
 git reset --hard origin/master
 
 make clean
-make all -j 2
+make all -j 1 # don't use higher -j than 1, otherwise race condition