diff --git a/build.sh b/build.sh index b11e8142..546789bc 100755 --- a/build.sh +++ b/build.sh @@ -204,6 +204,9 @@ else CONFIG_VERSION_NUMBER="$(git -C "$OMR_FEED" tag --sort=committerdate | tail -1)-$(git -C "$OMR_FEED" rev-parse --short HEAD)" EOF fi +echo "$OMR_DIST" +echo "$OMR_REPO" +echo "$(git -C "$OMR_FEED" tag --sort=committerdate | tail -1)-$(git -C "$OMR_FEED" rev-parse --short HEAD)" #if [ "$OMR_KERNEL" = "5.14" ]; then # echo 'CONFIG_KERNEL_GIT_CLONE_URI="https://github.com/multipath-tcp/mptcp_net-next.git"' >> "$OMR_TARGET/source/.config" # echo 'CONFIG_KERNEL_GIT_REF="78828adaef8fe9b69f9a8c4b60f74b01c5a31c7a"' >> "$OMR_TARGET/source/.config"