K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-05-01T08:18:55.853054Z
K 7
svn:log
V 316
devel/gprbuild: Fix build bug that prevented parallel building

The BUILD and PROCESSOR definitions were supposed to be part of
MAKE_ARGS, but they somehow ended up in CONFIGURE_ARGS.  This prevented
parallel building and building with the "production" profile.  The
latter causes binary changes, hence the revbump.

END