diff -r f5102a892ed4 -r 4a10bc0ee80d configure --- a/configure Mon May 27 12:28:56 2013 +0200 +++ b/configure Thu Jun 20 13:27:07 2013 +0200 @@ -64,8 +64,8 @@ fi if [ $OS = Darwin ]; then -CCONF=gcc.mk - +CCONF=clang.mk +PLATFORM=osx.mk fi echo "