infra: allow rerun make install without prompt (#2979)
#4462
| Job | Run time |
|---|---|
| 1m 9s | |
| 1m 9s |
make install without prompt (#2979)
#4462
| Job | Run time |
|---|---|
| 1m 9s | |
| 1m 9s |