infra: allow rerun make install without prompt
#4443
| Job | Run time |
|---|---|
| 1m 11s | |
| 1m 11s |
make install without prompt
#4443
| Job | Run time |
|---|---|
| 1m 11s | |
| 1m 11s |