Ajout Makefile stage0

[hvlinux.git] / stage2 / post-install

diff --git a/stage2/post-install b/stage2/post-install
index f0f33e0..74122ad 100755 (executable)
--- a/stage2/post-install
+++ b/stage2/post-install
@@ -37,7 +37,12 @@ sed -i -e "s!^\(PATH=\).*tools.*!\1${SED_REP}!" /etc/profile
 
 # Removing /tools directory
 if [ -d /tools ]; then
-    mv /tools /tools.to.remove.after.stage2
+    DEST=/usr/src/tools
+    if [ -d ${DEST} ]; then
+        # Remove old backup
+        rm -rf ${DEST}
+    fi
+    mv /tools ${DEST}
 fi
 
 ldconfig