File tree Expand file tree Collapse file tree 4 files changed +446
-11
lines changed Expand file tree Collapse file tree 4 files changed +446
-11
lines changed Original file line number Diff line number Diff line change 7
7
core-bt-batch
8
8
core-save-to
9
9
pthreads
10
+ psyscall
10
11
PERMISSIONS
11
12
OWNER_READ OWNER_WRITE OWNER_EXECUTE
12
13
GROUP_READ GROUP_EXECUTE
Original file line number Diff line number Diff line change 2
2
3
3
if [[ ( $# -gt 2 ) || ( $# -eq 0 ) ]]
4
4
then
5
- echo " $0 [executable] <core file>"
5
+ >&2 echo " $0 [executable] <core file>"
6
6
exit 1
7
7
fi
8
8
@@ -14,7 +14,7 @@ corefile=
14
14
15
15
if [[ ! -f $corefile ]]
16
16
then
17
- echo " $corefile : No such file"
17
+ >&2 echo " $corefile : No such file"
18
18
exit 1
19
19
fi
20
20
26
26
# try to find it in the core file dir
27
27
if [[ ! -f $coredir /$( basename $execname ) ]]
28
28
then
29
- echo " $execname : No such file"
29
+ >&2 echo " $execname : No such file"
30
30
exit 1
31
31
else
32
32
execname=$coredir /$( basename $execname )
You can’t perform that action at this time.
0 commit comments