print-signals: switch shebang to sh
This commit is contained in:
parent
508b8e29d2
commit
497b7d0fcc
1 changed files with 5 additions and 1 deletions
|
@ -1,4 +1,8 @@
|
|||
#!/bin/bash -eux
|
||||
#!/bin/sh -eux
|
||||
# XXX: We use /bin/sh instead of /bin/bash since some old versions of bash
|
||||
# exhibit an issue where they seem to receive the same signal twice.
|
||||
# With /bin/sh, this does not seem to happen.
|
||||
|
||||
# Print received signals into a file, one per line
|
||||
file="$1"
|
||||
|
||||
|
|
Loading…
Reference in a new issue