Commit e2ac4ed50c4562b8c6c1b69aa52a4c521d310e35

Authored by Benjamin Renard
1 parent 94780bca

Real fix for BOOST_ROOT

Showing 1 changed file with 1 additions and 1 deletions   Show diff stats
script/deploy.sh
@@ -40,7 +40,7 @@ else @@ -40,7 +40,7 @@ else
40 GCC_ROOT="/usr" 40 GCC_ROOT="/usr"
41 fi 41 fi
42 42
43 -if [ -d "$COTS_DIR/tools/boost" ]; then 43 +if [ -d "$COTS_DIR/tools/gcc/4.7.2/boost" ]; then
44 BOOST_ROOT="$COTS_DIR/tools/gcc/4.7.2/boost" 44 BOOST_ROOT="$COTS_DIR/tools/gcc/4.7.2/boost"
45 else 45 else
46 BOOST_ROOT="/usr" 46 BOOST_ROOT="/usr"