diff options
Diffstat (limited to 'tools/shave.mk')
| -rw-r--r-- | tools/shave.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/shave.mk b/tools/shave.mk deleted file mode 100644 index 53cb3bf5e..000000000 --- a/tools/shave.mk +++ /dev/null @@ -1 +0,0 @@ -QUIET_GEN = $(Q:@=@echo ' GEN '$@;) |