jenkins.sh: Add --publish to publish binaries, similar to simtrace2.git

Change-Id: Ife4cd90ab856f06d4026a9e7ee67da94517379be
1 file changed
tree: b3eb47ca56b7b05783128b144f365c952e945159
  1. ccid_common/
  2. ccid_host/
  3. contrib/
  4. sysmoOCTSIM/
  5. .gitignore
  6. git-version-gen