tree ae8400d866dcffbc30e5e19766067a5c72f9ab55
parent b3ea021b323a4ca7b5a64ba5e56f5e17a184efba
author Vadim Yanitskiy <vyanitskiy@sysmocom.de> 1661797837 +0700
committer Vadim Yanitskiy <vyanitskiy@sysmocom.de> 1662394506 +0700

contrib/jenkins.sh: execute this script with -x and -e

  -x  Print commands and their arguments as they are executed
  -e  Exit immediately if a command exits with a non-zero status

Change-Id: I13af70ef770936bec00b050b6c4f988e53ee2833