diff options
Diffstat (limited to 'Makefile.stage3')
| -rw-r--r-- | Makefile.stage3 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.stage3 b/Makefile.stage3 index 0aac35b8dd..f258ab2981 100644 --- a/Makefile.stage3 +++ b/Makefile.stage3 @@ -12,3 +12,8 @@ include Makefile.stage2 .PHONY: stage3 stage3: world + +# For emacs: +# Local Variables: +# mode: makefile +# End: |