aboutsummaryrefslogtreecommitdiff
path: root/src/make.code.deps
diff options
context:
space:
mode:
Diffstat (limited to 'src/make.code.deps')
-rw-r--r--src/make.code.deps4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/make.code.deps b/src/make.code.deps
index 606383d..d9b30a1 100644
--- a/src/make.code.deps
+++ b/src/make.code.deps
@@ -6,10 +6,10 @@
# file make.configuration.deps because only here the location of the
# source directory is known.
-FORMALINE_BIN_DIR = $(SCRATCH_BUILD)/formaline-bin
+FORMALINE_BIN_DIR = $(SCRATCH_BUILD)/Formaline/bin
FORMALINE_TAR_FILES = gethostname.pl makeblob.pl makemetablob.pl
-FORMALINE_GIT_FILES = git-add-thorn.pl git-commit-everything.pl git-gc-repo.pl git-init-master-repo.pl git-init-repo.pl git-lock.pl git-push-everything.pl git-rm-thorn.pl
+FORMALINE_GIT_FILES = git-add-thorn.pl git-commit-everything.pl git-gc-repo.pl git-init-master-repo.pl git-init-repo.pl git-lock.pl git-push-everything.pl git-rm-unused-thorns.pl git-rm-thorn.pl
$(CCTK_TARGET): $(FORMALINE_TAR_FILES:%=$(FORMALINE_BIN_DIR)/%) $(FORMALINE_GIT_FILES:%=$(FORMALINE_BIN_DIR)/%)