From c3ec344c8104c2274a8c36c7886e4bc3ffe6895e Mon Sep 17 00:00:00 2001
From: heck <heck@pep.foundation>
Date: Mon, 22 Nov 2021 19:07:37 +0100
Subject: [PATCH] ignore boost for now

---
 bash_profile.d/boost.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bash_profile.d/boost.sh b/bash_profile.d/boost.sh
index 2be4cce..eebb382 100644
--- a/bash_profile.d/boost.sh
+++ b/bash_profile.d/boost.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
 
-export BOOST_ROOT=$HOME/src/boost_1_74_0
-export PATH=$PATH:$BOOST_ROOT
-export BOOST_BUILD_PATH=$BOOST_ROOT/tools/build/
+#export BOOST_ROOT=$HOME/src/boost_1_74_0
+#export PATH=$PATH:$BOOST_ROOT
+#export BOOST_BUILD_PATH=$BOOST_ROOT/tools/build/