diff options
-rwxr-xr-x | Makefile | 2 | ||||
-rw-r--r-- | emacsen/Makefile | 8 |
2 files changed, 9 insertions, 1 deletions
@@ -220,4 +220,6 @@ clean: clobber: clean rm -f $(GPG_FILES) + $(MAKE) -C emacsen clobber + .PHONY: build install clean verify merge udh emacsen diff --git a/emacsen/Makefile b/emacsen/Makefile index f6eab9e..fb5ef8e 100644 --- a/emacsen/Makefile +++ b/emacsen/Makefile @@ -94,4 +94,10 @@ install-vm: clean-vm: $(MAKE) -C $(@:clean-%=%) distclean -.PHONY: all install clean $(CLEANDIRS) +clobber: + for dir in $(SUBDIRS); do \ + git --git-dir=$${dir}/.git reset --hard HEAD; \ + git --git-dir=$${dir}/.git clean -qxdf; \ + done + +.PHONY: all install clean $(CLEANDIRS) clobber |