diff options
author | Andreas Maunz <andreas@maunz.de> | 2011-04-01 15:43:14 +0200 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2011-04-01 15:43:14 +0200 |
commit | aed19c4491d6713e4ea75d4a8febef57752203d9 (patch) | |
tree | 85da4ce1ba0e369e08969107010170077f8c2723 /kernlab.sh | |
parent | 230943e83ce1741fb87c6a556795a2ff7a2e561e (diff) |
all
Diffstat (limited to 'kernlab.sh')
-rwxr-xr-x | kernlab.sh | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -38,7 +38,6 @@ if [ ! -d "$KL_DEST" ]; then exit 1 else if ! rmdir "$KL_DEST" >/dev/null 2>&1; then # if not empty this will fail - echo "Install directory '$KL_DEST' not empty. Skipping kernlab installation." R_DONE=true else mkdir "$KL_DEST" >/dev/null 2>&1 |