summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-08-07 17:08:13 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-08-07 17:08:13 (GMT)
commit72caaf7717e574fa5f08f8069724e27acfe25cc9 (patch)
tree605bacb9fba51fb6c1c07a6ffc604ccac259eb1a /tools
parentf1741dc507fd560891cc3769385e72369b6cc7b8 (diff)
Revert previous spurious commit.
Diffstat (limited to 'tools')
-rw-r--r--tools/populate.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/populate.in b/tools/populate.in
index 690dc5f..6d50fbe 100644
--- a/tools/populate.in
+++ b/tools/populate.in
@@ -71,7 +71,7 @@ fi
# Get rid of potentially older destination directory
if [ -d "${CT_ROOT_DST_DIR}" ]; then
mv "${CT_ROOT_DST_DIR}" "${CT_ROOT_DST_DIR}.$$"
- setsid nohup rm -rf "${CT_ROOT_DST_DIR}.$$" >/dev/null 2>&1 &
+ nohup rm -rf "${CT_ROOT_DST_DIR}.$$" >/dev/null 2>&1 &
fi
# Create the working copy