1. 2005-10-31 [Bug 115418] New: 'make' options should be optional kde-bugs- Rob Leathley 2. 2005-10-31 [Bug 115418] New: 'make' options should be optional kdevelop- kdevelop-bugs-admi