Error during checkout of Closure project

[jundaz]

Hello,
I am using Defects4j 3.0.1, java 11
Errors that looks like the following appear during checkout of any bugs (both buggy and fixed) in Closure project:
sed: can't read /path/to/checkout/directory/Closure_68/fixed/lib/rhino/build.properties: No such file or directory
sed: can't read /path/to/checkout/directory/Closure_68/fixed/lib/rhino/build.properties: No such file or directory
sed: can't read /path/to/checkout/directory/Closure_68/fixed/lib/rhino/src/mozilla/js/rhino/build.properties: No such file or directory
sed: can't read /path/to/checkout/directory/Closure_68/fixed/lib/rhino/src/mozilla/js/rhino/build.properties: No such file or directory
some only reports the latter 2 during checkout(i.e. only with Mozilla in path)
It doesn't seem to affect compiling but I do want to confirm is this behavior expected or is there any way to resolve this.

Thank you very much.

[rjust]

Hi @jundaz,

Thanks for reporting this. You can ignore these errors. (These build.properties files need to be patched, if they exist. They don't exist for this and other Closure versions.) We'll add a check to avoid these confusing errors.

Thanks,
René

[markro49]

This is fixed in upcoming version 4. Would you like me to back port the fix?

[jundaz]

This is fixed in upcoming version 4. Would you like me to back port the fix?

That would be nice

[markro49]

This was fixed with pull request #634 that has been merged.