diff options
Diffstat (limited to 'tools/populate.in')
| -rw-r--r-- | tools/populate.in | 2 |
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 |