From 36de216d258b868074c1c79309427cb5eb663e0a Mon Sep 17 00:00:00 2001 From: Laura Flores Date: Mon, 14 Jun 2021 12:03:01 -0500 Subject: [PATCH] script/build-integration-branch: update print statement based on update to documentation The print statement originally suggested to the user to run "make && ctest -j12", but that is outdated. The user should execute "./run-make-check.sh" instead. Signed-off-by: Laura Flores --- src/script/build-integration-branch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/script/build-integration-branch b/src/script/build-integration-branch index 9ff5b4e3e63..d92821b2f1f 100755 --- a/src/script/build-integration-branch +++ b/src/script/build-integration-branch @@ -109,4 +109,4 @@ for pr in prs: print('--- done. these PRs were included:') print('\n'.join(prtext).encode('ascii', errors='ignore').decode()) -print('--- perhaps you want to: make && ctest -j12 && git push ci %s' % branch) +print('--- perhaps you want to: ./run-make-check.sh && git push ci %s' % branch) -- 2.47.3