From 67335c832a55cbd0ca559906bbe1af2485241353 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 26 Apr 2016 12:14:41 +0200
Subject: Revert "Re-add -beautify by default."

This reverts commit 1171590c544492842a848c6765b61c70fca19a01.
---
 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