Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. update usage info in release script (details)
  2. switch shell scripts to standard "#!/bin/bash" (details)
Commit d6777205877c41f2bbed1d36fb3d95c4299d0cf7 by Stephan Leicht Vogt
update usage info in release script

and consolidate with other shell-scripts

Change-Id: Ib3179b59170323b8a565420ef343bc31f72dbf6a
The file was modified shell_scripts/release.sh (diff)
Commit d734358d2c1db086de2b1c044be4413ce79aabd8 by Stephan Leicht Vogt
switch shell scripts to standard "#!/bin/bash"

Change-Id: Ib4176205ac0f79f91ee0069f125f1df1acebde9a
The file was modified shell_scripts/jacoco-build.sh (diff)
The file was modified shell_scripts/build.sh (diff)
The file was modified shell_scripts/quick-build.sh (diff)
The file was modified shell_scripts/format-headers.sh (diff)
The file was modified shell_scripts/check-headers.sh (diff)
The file was modified shell_scripts/_functions.sh (diff)
The file was modified shell_scripts/release.sh (diff)