Attention is currently required from: fixeria.

View Change

2 comments:

• File contrib/jenkins.sh:

  • Patch Set #2, Line 35: "distcheck")

    I'm not sure if we should call it "distcheck". It sounds like "make distcheck" from autotools, but it does something else here. Maybe smoketest?

    If you just want to print --help, maybe just add it at the end of the regular test job (since it will almost take no extra time, and then you can avoid having the test setup time)? Or is the idea to extend it later on and do more?

  • Patch Set #2, Line 43: $prog --help > /dev/null

    why >/dev/null, wouldn't it be useful to have the output in jenkins, so one can take a look at it?

To view, visit change 36383. To unsubscribe, or for help writing mail filters, visit settings.