ports/emulators/virtualbox-ose/files/patch-configure
Martin Wilke afbf09cc33 VirtualBox is a family of powerful x86 virtualization products for
enterprise as well as home use. Not only is VirtualBox an extremely
feature rich, high performance product for enterprise customers, it
is also the only professional solution that is freely available as
Open Source Software under the terms of the GNU General Public License.

WWW:	http://www.virtualbox.org/

Note:

Please READ pkg-messages carefully, also please
take a look in the Wiki page (http://wiki.freebsd.org/VirtualBox)

Thanks to: thank you to everyone who helped make this possible.
2009-06-15 18:01:41 +00:00

11 lines
604 B
Text

--- configure.orgi 2009-05-31 13:43:50.000000000 +0200
+++ configure 2009-05-31 13:45:47.000000000 +0200
@@ -1698,7 +1698,7 @@
cat $ODIR.tmp_src.cc >> $LOG
echo "using the following command line:" >> $LOG
echo "$CXX -O -Wall -o $ODIR.tmp_out $ODIR.tmp_src.cc -I$p/include/$d $p/$b/lib$d.so" >> $LOG
- $CXX -O -Wall -o $ODIR.tmp_out $ODIR.tmp_src.cc -I$p/include/$d $p/$b/lib$d.so >> $LOG 2>&1
+ $CXX -O -Wall -o $ODIR.tmp_out $ODIR.tmp_src.cc -I$p/include/$d $p/$b/lib$d.so -pthread >> $LOG 2>&1
if [ $? -eq 0 ]; then
found=1
break