diff --git a/Makefile b/Makefile
index fdb7b173..d20dde92 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 
-OPTS="--profile=release --ignore-promoted-rules"
+OPTS=--profile=release --ignore-promoted-rules
+
 all:
 	@dune build @all $(OPTS)