[PATCH] build: --picky-developer implies --enable-developer

[Martin Schwenke]

I first met this back in March when I used --picky-developer on
its own and managed to push something that wouldn't pass autobuild.  I
never forget (or my inbox never does)... so how about the following?  :-)

  Have --picky-developer do the --enable-developer setup too, instead of
  requiring both options to be specified.  This makes it obey the
  principle of least surprise.

This seems to work fine without the extra "if not Options.options.developer:"
but I think having it there makes things clearer...

Review and push appreciated...

peace & happiness,
martin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-build-picky-developer-implies-enable-developer.patch
Type: text/x-patch
Size: 1550 bytes
Desc: not available
URL: <http://lists.samba.org/pipermail/samba-technical/attachments/20151026/7aa62cdd/0001-build-picky-developer-implies-enable-developer.bin>