boost.sh: fix the lookup for boost headers in /usr/local

This commit is contained in:
Ivailo Monev 2015-01-01 22:16:32 +00:00
parent 5c13fb9a70
commit a0e6fd0d7e

View file

@ -2,7 +2,7 @@
set -e
boost=""
for dir in "/include" "/usr/include" "/usr/local";do
for dir in "/include" "/usr/include" "/usr/local/include";do
if [ -d "$dir/boost" ];then
boost="$dir"
fi