[webkit-dev] Order of determining $baseProductDir

[Nathan Lawrence]

Hi,

In looking through webkitdirs.pm in /WebKitTools/Scripts/, I noticed that the base product directory is set to ${WERBKITOUTPUTDIR} only if there is no system wide default in Xcode.plist.  It seems that the environment specific variable should always be used if available, and if that is not set, fall back to the system default.  What do other people think?

-- Nathan