configure scripts in branches/2.2 and trunk/ now define
RIVET_CONFIGURE_CMD in rivet_config.h with the whole configure command line.
This definition is copied in the array 'server' in a variable with the
same name.
The code in branches/2.2 is now labeled as 2.2.4 and changes also
feature some rationalization of the code in Rivet_ChildHandlers
-- Massimo
On 06/10/2015 09:42 AM, Rani Ahmed wrote:
Thank you Massimo.
On Wednesday, June 10, 2015, Massimo Manghi <[email protected]> wrote:
Dear Rani
yes, this looks to be feasible. I will add it to the rivet_config.h file,
it should be straightforward, provided there is a shell variable holding
the full configure command
-- Massimo
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
