From 2e0c91f19130cc87def012d8bf5aa78a8215d000 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 27 Apr 2016 22:13:02 +0200
Subject: Revert "Re-add -beautify by default."

This reverts commit d28c1d7d908fe9d5fc719d58433a6b87c12390ba.
---
 Makefile.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index 3227d9e9ee..b551242f6b 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -82,7 +82,7 @@ STDTIME=/usr/bin/time -f "$* (user: %U mem: %M ko)"
 TIMER=$(if $(TIMED), $(STDTIME), $(TIMECMD))
 
 COQOPTS=$(COQ_XML) $(VM) $(NATIVECOMPUTE)
-BOOTCOQC=$(TIMER) $(COQTOPEXE) -boot $(COQOPTS) -beautify -compile
+BOOTCOQC=$(TIMER) $(COQTOPEXE) -boot $(COQOPTS) -compile
 
 # The SHOW and HIDE variables control whether make will echo complete commands 
 # or only abbreviated versions. 
@@ -502,7 +502,7 @@ BEAUTIFIED=$(THEORIESVO) $(PLUGINSVO)
 TOBEAUTIFY=$(BEAUTIFIED:.vo=.v.beautified)
 
 check-beautify: $(TOBEAUTIFY)
-	@echo Upgrading beautified files
+	@echo Upgrading with beautified files
 	$(HIDE)for i in $(TOBEAUTIFY);\
 	do j=`dirname $$i`/`basename $$i .v.beautified`.v;\
 	  mv -f $$j $$j.backup;\
-- 
cgit v1.2.3