diff options
Diffstat (limited to 'test/end-to-end/serve-service/serve-tree.sh')
| -rwxr-xr-x | test/end-to-end/serve-service/serve-tree.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/test/end-to-end/serve-service/serve-tree.sh b/test/end-to-end/serve-service/serve-tree.sh index 75573964..d95a890b 100755 --- a/test/end-to-end/serve-service/serve-tree.sh +++ b/test/end-to-end/serve-service/serve-tree.sh @@ -32,7 +32,12 @@ mkdir -p "${DISTDIR}" cp src.tar "${DISTDIR}" HASH=$(git hash-object src.tar) -REMOTE="-r ${REMOTE_EXECUTION_ADDRESS}" +COMPAT="" +if [ "${COMPATIBLE:-}" = "YES" ]; then + COMPAT="--compatible" +fi + +REMOTE="-r ${REMOTE_EXECUTION_ADDRESS} ${COMPAT}" mkdir work cd work @@ -70,7 +75,7 @@ echo echo echo Local build "${JUST_MR}" --norc --local-build-root "${LBR_A}" --just "${JUST}" \ - --distdir "${DISTDIR}" build \ + --distdir "${DISTDIR}" ${COMPAT} build \ --log-limit 4 \ --dump-artifacts local.json 2>&1 |