Fix passing arguments to the reproduction script

[?]
May 10, 2018, 1:11 PM
CRCZ62JSYTY75N7A6TK4CPW3DQERKP2MA6R624AWN4PXX3GOOQ5QC

Dependencies

  • [2] EE5GSP2L reproduce.tt: Wrap script to prevent problems piping into bash
  • [3] UROSQNYP reproduce.tt: Add --print-flags option
  • [*] HZWUT4YN Allow users to reproduce builds on their own systems

Change contents

  • replacement in src/root/reproduce.tt at line 219
    [2.15][2.15:20]()
    main
    [2.15]
    main "$@"