2009/12/18 Jean-Sébastien Pédron <jean-sebastien.pedron@REDACTED>: > Oops, I just played with GIT to remove changes from Makefiles that > didn't need $(CC_NAME) for now :) No problem. That's also fine. I have included your branch in 'pu'. -- Björn Gustavsson, Erlang/OTP, Ericsson AB