diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_lede.sh | 1 | ||||
| -rwxr-xr-x | bin/reproducible_openwrt.sh | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_lede.sh b/bin/reproducible_lede.sh index 5c94dd29..8d94c2a9 100755 --- a/bin/reproducible_lede.sh +++ b/bin/reproducible_lede.sh @@ -16,6 +16,7 @@ common_init . /srv/jenkins/bin/reproducible_openwrt_common.sh set -e +echo "$0 got called with '$@'" # this script is called from positions # * it's called from the reproducible_wrapper when running on the master # * it's called from reproducible_opewnrt_common when doing remote builds diff --git a/bin/reproducible_openwrt.sh b/bin/reproducible_openwrt.sh index f12dcd5b..54389d4c 100755 --- a/bin/reproducible_openwrt.sh +++ b/bin/reproducible_openwrt.sh @@ -16,6 +16,7 @@ common_init . /srv/jenkins/bin/reproducible_openwrt_common.sh set -e +echo "$0 got called with '$@'" # this script is called from positions # * it's called from the reproducible_wrapper when running on the master # * it's called from reproducible_opewnrt_common when doing remote builds |