Catch unknown configure options

Brought to you by: cweiske

#8 Catch unknown configure options

Milestone: 0.2

Status: open

Owner: nobody

Labels: None

Updated: 2011-09-07

Created: 2011-09-07

Private: No

phpfarm should stop if unknown config options are used.

Currently the message is ignored because configure does not change its exit code.

Notice: Following unknown configure options were used:
--with-foo
Check './configure --help' for available options