diff options
| author | Rickard Green <[email protected]> | 2018-06-13 09:28:01 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2018-06-13 09:28:01 +0200 |
| commit | 78100134e1fa6948dc19058c27ddab4ac1aa0e8c (patch) | |
| tree | ece0feea35d2fee0db53fe6bd158e4b87a0b7adf | |
| parent | 01b9a90da5e09df3bbfa10a6f701d56b44d2603f (diff) | |
| parent | 23abd013424f8264e422f7f478a71919d5684309 (diff) | |
| download | otp-78100134e1fa6948dc19058c27ddab4ac1aa0e8c.tar.gz otp-78100134e1fa6948dc19058c27ddab4ac1aa0e8c.tar.bz2 otp-78100134e1fa6948dc19058c27ddab4ac1aa0e8c.zip | |
Merge branch 'rickard/xcomp-fix/OTP-15096'
* rickard/xcomp-fix/OTP-15096:
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=$? |