diff options
Diffstat (limited to 'xen/Makefile')
-rw-r--r-- | xen/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xen/Makefile b/xen/Makefile index b89893357f..625f082603 100644 --- a/xen/Makefile +++ b/xen/Makefile @@ -141,13 +141,13 @@ endef .PHONY: _TAGS _TAGS: - rm -f TAGS; \ + set -e; rm -f TAGS; \ $(call set_exuberant_flags,etags); \ $(all_sources) | xargs etags $$exuberant_flags -a .PHONY: _tags _tags: - rm -f tags; \ + set -e; rm -f tags; \ $(call set_exuberant_flags,ctags); \ $(all_sources) | xargs ctags $$exuberant_flags -a |