diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,7 +1,6 @@ # actual recipes for everything are in build/Makefile; % : - echo generic $(MAKE) -C build $@ # below is just for shell auto-completion |