prevent bash from auto-exiting on keypress for make shell and make testshell commands
#531
| Job | Run time |
|---|---|
| 7m 41s | |
| 7m 41s |
make shell and make testshell commands
#531
| Job | Run time |
|---|---|
| 7m 41s | |
| 7m 41s |