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