diff --git a/Makefile b/Makefile index d0e8c86a8c..f3910502cf 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,6 @@ # This is used with `make