From 0d1fd6f95ac1e96a42181516539ebb35e74149b0 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Tue, 6 Mar 2018 13:04:53 +0000 Subject: [PATCH] Fix: Don't detect pgit.sh any longer Detection of pgit.sh is a bad idea, since at the time of detection, it's not even checked out Signed-off-by: Jan Lindemann --- make/projects-dir.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/projects-dir.mk b/make/projects-dir.mk index e0efebfc..71ef52b2 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -95,7 +95,7 @@ endif # ------------ external programs II -PGIT = CLONE_PROJECTS="$(PROJECTS)" /bin/bash $(firstword $(wildcard $(MOD_SCRIPT_DIR)/pgit.sh /opt/jw-build/bin/pgit.sh) pgit.sh-not-found) +PGIT = CLONE_PROJECTS="$(PROJECTS)" /bin/bash $(MOD_SCRIPT_DIR)/pgit.sh BUILD_PY = python2 $(MOD_SCRIPT_DIR)/build.py -b $(shell pwd) $(BUILD_PY_EXTRA_ARGS) PROJECTS_PY = python2 $(MOD_SCRIPT_DIR)/projects.py --prefix $(shell pwd) $(PROJECTS_PY_EXTRA_ARGS) PURGE_SH = /bin/bash $(firstword $(wildcard $(MOD_SCRIPT_DIR)/purge-stale-projects.sh /opt/jw-build/bin/purge-stale-projects.sh) purge-not-found)