diff options
-rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index fb6bfa87f..b551242f6 100644 --- a/Makefile.build +++ b/Makefile.build @@ -498,7 +498,7 @@ test-suite: world $(ALLSTDLIB).v $(MAKE) $(MAKE_TSOPTS) all $(MAKE) $(MAKE_TSOPTS) report -BEAUTIFIED=$(THEORIESVO) +BEAUTIFIED=$(THEORIESVO) $(PLUGINSVO) TOBEAUTIFY=$(BEAUTIFIED:.vo=.v.beautified) check-beautify: $(TOBEAUTIFY) |