diff options
Diffstat (limited to 'tools/sv/Makefile')
| -rw-r--r-- | tools/sv/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/sv/Makefile b/tools/sv/Makefile index 06aa7c50ef..c9ae1deb0d 100644 --- a/tools/sv/Makefile +++ b/tools/sv/Makefile @@ -1,2 +1,3 @@ +.PHONY: all all: |