diff options
author | ng0 <ng0@n0.is> | 2019-03-09 11:43:34 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-09 11:43:34 +0000 |
commit | 880cbc22a7c667fddc7f4edb3be2c4ebc49148e6 (patch) | |
tree | 6abcf6e3da545cb6c381ab1d8676d7b313b7aaa0 | |
parent | a55529b61d5cb7ef931aa2cb7cae46e8f17f1830 (diff) | |
download | gnunet-880cbc22a7c667fddc7f4edb3be2c4ebc49148e6.tar.gz gnunet-880cbc22a7c667fddc7f4edb3be2c4ebc49148e6.zip |
bashism
-rwxr-xr-x | contrib/scripts/debug | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/scripts/debug b/contrib/scripts/debug index 3de2c9a14..c20ebd7dc 100755 --- a/contrib/scripts/debug +++ b/contrib/scripts/debug | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/sh |
2 | # /proc/sys/kernel/core_pattern should be core.%p.%E | 2 | # /proc/sys/kernel/core_pattern should be core.%p.%E |
3 | 3 | ||
4 | COREPID=$1 | 4 | COREPID=$1 |