Make sure an install can be restarted after a failure. While I'm here, update

DESCR and COMMENT so that they both contain the proper name of the port and
do not contain the word `emulation'.

9 files changed, 12 insertions, 9 deletions

diff --git a/devel/linux_devtools-6/Makefile b/devel/linux_devtools-6/Makefile
index a21beb602e59..4d59bfbe56d1 100644
--- a/devel/linux_devtools-6/Makefile
+++ b/devel/linux_devtools-6/Makefile
@@ -97,6 +97,7 @@ do-install:
 	@${CHMOD} 666 ${PREFIX}/dev/null
 .if defined(NEEDLOADLINK)
 	@${MKDIR} ${PREFIX}/compat
+	@${RM} -f ${PREFIX}/compat/linux
 	@${LN} -s / ${PREFIX}/compat/linux
 .endif
 #
diff --git a/devel/linux_devtools-6/pkg-comment b/devel/linux_devtools-6/pkg-comment
index 5009fe4e2da4..067cb0143eff 100644
--- a/devel/linux_devtools-6/pkg-comment
+++ b/devel/linux_devtools-6/pkg-comment
@@ -1 +1 @@
-Packages needed for doing development under Linux emulation
+Packages needed for doing development in Linux mode
diff --git a/devel/linux_devtools-6/pkg-descr b/devel/linux_devtools-6/pkg-descr
index 9f26dfcda104..0a4fb9015e25 100644
--- a/devel/linux_devtools-6/pkg-descr
+++ b/devel/linux_devtools-6/pkg-descr
@@ -1,5 +1,5 @@
-The linux-devel port contains a selection of packages necessary for doing
-development under Linux emulation.
+The linux_devtools port contains a selection of packages necessary
+for doing development in Linux mode.
 
 - Marcel
 marcel@FreeBSD.org
diff --git a/devel/linux_devtools-7/Makefile b/devel/linux_devtools-7/Makefile
index a21beb602e59..4d59bfbe56d1 100644
--- a/devel/linux_devtools-7/Makefile
+++ b/devel/linux_devtools-7/Makefile
@@ -97,6 +97,7 @@ do-install:
 	@${CHMOD} 666 ${PREFIX}/dev/null
 .if defined(NEEDLOADLINK)
 	@${MKDIR} ${PREFIX}/compat
+	@${RM} -f ${PREFIX}/compat/linux
 	@${LN} -s / ${PREFIX}/compat/linux
 .endif
 #
diff --git a/devel/linux_devtools-7/pkg-comment b/devel/linux_devtools-7/pkg-comment
index 5009fe4e2da4..067cb0143eff 100644
--- a/devel/linux_devtools-7/pkg-comment
+++ b/devel/linux_devtools-7/pkg-comment
@@ -1 +1 @@
-Packages needed for doing development under Linux emulation
+Packages needed for doing development in Linux mode
diff --git a/devel/linux_devtools-7/pkg-descr b/devel/linux_devtools-7/pkg-descr
index 9f26dfcda104..0a4fb9015e25 100644
--- a/devel/linux_devtools-7/pkg-descr
+++ b/devel/linux_devtools-7/pkg-descr
@@ -1,5 +1,5 @@
-The linux-devel port contains a selection of packages necessary for doing
-development under Linux emulation.
+The linux_devtools port contains a selection of packages necessary
+for doing development in Linux mode.
 
 - Marcel
 marcel@FreeBSD.org
diff --git a/devel/linux_devtools/Makefile b/devel/linux_devtools/Makefile
index a21beb602e59..4d59bfbe56d1 100644
--- a/devel/linux_devtools/Makefile
+++ b/devel/linux_devtools/Makefile
@@ -97,6 +97,7 @@ do-install:
 	@${CHMOD} 666 ${PREFIX}/dev/null
 .if defined(NEEDLOADLINK)
 	@${MKDIR} ${PREFIX}/compat
+	@${RM} -f ${PREFIX}/compat/linux
 	@${LN} -s / ${PREFIX}/compat/linux
 .endif
 #
diff --git a/devel/linux_devtools/pkg-comment b/devel/linux_devtools/pkg-comment
index 5009fe4e2da4..067cb0143eff 100644
--- a/devel/linux_devtools/pkg-comment
+++ b/devel/linux_devtools/pkg-comment
@@ -1 +1 @@
-Packages needed for doing development under Linux emulation
+Packages needed for doing development in Linux mode
diff --git a/devel/linux_devtools/pkg-descr b/devel/linux_devtools/pkg-descr
index 9f26dfcda104..0a4fb9015e25 100644
--- a/devel/linux_devtools/pkg-descr
+++ b/devel/linux_devtools/pkg-descr
@@ -1,5 +1,5 @@
-The linux-devel port contains a selection of packages necessary for doing
-development under Linux emulation.
+The linux_devtools port contains a selection of packages necessary
+for doing development in Linux mode.
 
 - Marcel
 marcel@FreeBSD.org