From 511a803f89e243fbdfb9daa68513ed8259660341 Mon Sep 17 00:00:00 2001
From: Fons Rademakers <Fons.Rademakers@cern.ch>
Date: Mon, 10 Dec 2012 12:09:09 +0000
Subject: [PATCH] make sure to remove obsolete directory "cint".

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

diff --git a/configure b/configure
index 4ecab39e2a2..06d177f978c 100755
--- a/configure
+++ b/configure
@@ -6305,6 +6305,9 @@ fi
 if test -d star ; then
    rm -rf star
 fi
+if test -d cint ; then
+   rm -rf cint
+fi
 if test -d include/cint ; then
    rm -rf include/cint
 fi
-- 
GitLab