If tools/generate-devstack-plugins-list.sh is invoked with a parameter, as is the case with the proposal job, copy the generated list thither so that git will actually generate a diff. Change-Id: I874a521bba7f402f5c07e28d6ebb086e77873795