git://git.jankratochvil.net
/
nethome.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
74edc89
)
Prefer `/tmp/server'.
author
lace
<>
Tue, 12 Aug 2008 18:55:43 +0000
(18:55 +0000)
committer
lace
<>
Tue, 12 Aug 2008 18:55:43 +0000
(18:55 +0000)
src/gdb-wrap
patch
|
blob
|
history
diff --git
a/src/gdb-wrap
b/src/gdb-wrap
index
a33414e
..
bc3d80d
100755
(executable)
--- a/
src/gdb-wrap
+++ b/
src/gdb-wrap
@@
-1,7
+1,11
@@
#! /bin/sh
# $Id$
-DIR=/tmp/gdb.d
+TMP=/tmp
+if [ -d $TMP/server ];then
+ TMP=$TMP/server
+fi
+DIR=$TMP/gdb.d
mkdir -p $DIR
i=0
while true;do