From 8972d738a32a20a9f0745bf3f46f25d2a9fa7ebf Mon Sep 17 00:00:00 2001
From: John Shahid <jvshahid@gmail.com>
Date: Tue, 15 Jul 2014 15:36:53 -0400
Subject: [PATCH] use devtools g++ 4.7 to be able to compile rocksdb

---
 release.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/release.sh b/release.sh
index fdaf5cd10c..851ebd7962 100755
--- a/release.sh
+++ b/release.sh
@@ -4,6 +4,11 @@ set -e
 
 cd `dirname $0`
 
+# To add devtools to the build machine, run the following commands
+# cd /etc/yum.repos.d/
+# http://people.centos.org/tru/devtools/devtools.repo
+# yum --enablerepo=testing-devtools-6 install devtoolset-1.0
+export PATH=/opt/centos/devtoolset-1.0/root/usr/bin/:$PATH
 git checkout .
 git pull --rebase
 make clean