--- a/support/fdlibm/Makefile Mon Feb 18 18:08:09 2013 +0100 +++ b/support/fdlibm/Makefile Mon Feb 18 22:48:48 2013 +0100 @@ -54,7 +54,8 @@ # # Default IEEE libm # -CFLAGS = -g -O2 -m32 +# CFLAGS = -g -O2 -m32 +CFLAGS = -g -O2 CHMOD = chmod