diff options
| author | Rickard Green <[email protected]> | 2018-05-29 15:19:16 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2018-05-29 15:19:16 +0200 |
| commit | 23abd013424f8264e422f7f478a71919d5684309 (patch) | |
| tree | 9b87646c4222cc035f07ea4c1bfae41ad8525231 | |
| parent | 74a95b3d511177a9b35c2b0272b9ca5511b6f750 (diff) | |
| download | otp-23abd013424f8264e422f7f478a71919d5684309.tar.gz otp-23abd013424f8264e422f7f478a71919d5684309.tar.bz2 otp-23abd013424f8264e422f7f478a71919d5684309.zip | |
Ensure no progress reports when checking OTP release
| -rwxr-xr-x | make/cross_check_erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/cross_check_erl b/make/cross_check_erl index f8ba73023a..524514a63f 100755 --- a/make/cross_check_erl +++ b/make/cross_check_erl @@ -90,7 +90,7 @@ start() -> EOF erlc cross_check_erl.erl 2>/dev/null \ - && used_otp=`erl -noshell -noinput -pa . -run cross_check_erl 2>/dev/null` + && used_otp=`erl -noshell -noinput -boot start_clean -pa . -run cross_check_erl 2>/dev/null` res=$? |