blob: a5e1adc7369a77f93846287616cd0b168167e555 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
Since we aren't compiling anything for the port, don't look for boost:
--- configure 2014-10-01 20:10:53.000000000 -0400
+++ configure 2014-11-30 12:32:04.000000000 -0500
@@ -5026,5 +5026,4 @@
echo "Can't find boost headers. Please check the location of the boost"
echo "distribution and rerun configure using the --with-boost=DIR option."
- exit 1
fi
|
