From 66de0bda71e7f650459a0100e8bda572bf49bbf1 Mon Sep 17 00:00:00 2001
From: Axel Naumann <Axel.Naumann@cern.ch>
Date: Wed, 28 Mar 2012 13:11:32 +0000
Subject: [PATCH] Make sure the mod time of installed root.exe versus
 bin/root.exe matches what nwe expect from having run make install.

git-svn-id: http://root.cern.ch/svn/root/trunk@43528 27541ba8-7e3a-0410-8455-c3a389f83636
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 2c8f42a2daa..b89a852a753 100644
--- a/Makefile
+++ b/Makefile
@@ -1071,9 +1071,9 @@ releasenotes:
 
 html: $(ROOTEXE) changelog releasenotes
 ifneq ($(USECONFIG),FALSE)
-	if [ "x`which root.exe`" !=  "x$(DESTDIR)$(BINDIR)/root.exe" ]; then \
-	  echo 'ERROR: available root.exe is '`which root.exe`; \
-	  echo '       should instead be     $(DESTDIR)$(BINDIR)/root.exe'; \
+	@if [ "x`which root.exe`" != "x$(DESTDIR)$(BINDIR)/root.exe" ] \
+	  || [ "`which root.exe`" -ot "bin/root.exe" ]; then \
+	  echo 'ERROR: root.exe has not been installed by this build.'; \
 	  echo '       Run "make install" before running "make html".'; \
 	  exit 1; \
 	fi
-- 
GitLab