diff options
author | Tom Willemsen | 2012-07-04 22:19:38 +0200 |
---|---|---|
committer | Tom Willemsen | 2012-07-04 22:19:38 +0200 |
commit | b836a9b02f6612d9419bc4bc4a712d78670b3d3e (patch) | |
tree | 59ce1b1c17f9fbc159cdf9acb13b843d20362c33 | |
parent | 7c96197cff5c629728a3461532c63a208e77ed4d (diff) | |
download | gitto-b836a9b02f6612d9419bc4bc4a712d78670b3d3e.tar.gz gitto-b836a9b02f6612d9419bc4bc4a712d78670b3d3e.zip |
Use guild, not guile tools
`guile-tools' only still exists for compatibility with guile-1.8, but
it has been renamed to `guild'.
-rw-r--r-- | gitto/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gitto/Makefile b/gitto/Makefile index 2c9d9de..4f4e2e1 100644 --- a/gitto/Makefile +++ b/gitto/Makefile @@ -8,7 +8,7 @@ install-objects = $(addprefix install-,$(objects)) uninstall-objects = $(addprefix uninstall-,$(objects)) $(filter %.go,$(objects)): %.go: %.scm - guile-tools compile -o $@ $^ + guild compile -o $@ $^ .PHONY: install $(install-objects) uninstall $(uninstall-objects) |