[BUG FIX] MOVED or REPLACED ports were possibly incorrectly detected as duplicated...

[portsreinstall/current.git] / bin / portsreinstall

diff --git a/bin/portsreinstall b/bin/portsreinstall
index 1706d15..561088e 100755 (executable)
--- a/bin/portsreinstall
+++ b/bin/portsreinstall
@@ -12,11 +12,11 @@
 # ============ Set up of environment =============
 APPNAME=`basename "$0"`
 
-MYVERSION=3.1.0
-COMPATIBLE_VERSIONS='^(3\.1\.[0-9]+)$'
+# MYVERSION=3.1.0
+# COMPATIBLE_VERSIONS='^(3\.1\.[0-9]+)$'
 # Template for development versions
-# MYVERSION=3.0.5+toward_3.1.0_20140809212414
-# COMPATIBLE_VERSIONS='^(3\.0\.[0-9]+\+toward_3\.1\.[0-9]+_[0-9]+|3\.0\.[0-9]+\+toward_3\.0\.[0-9]+_[0-9]+|3\.1\.[0-9]+)$'
+MYVERSION=3.1.0+toward_3.1.1_20141203202946
+COMPATIBLE_VERSIONS='^(3\.0\.[0-9]+\+toward_3\.1\.[0-9]+_[0-9]+|3\.0\.[0-9]+\+toward_3\.0\.[0-9]+_[0-9]+|3\.1\.[0-9]+)$'
 MYPREFIX=`dirname "\`dirname \"$0\"\`" | sed 's|/bin$||'`
 MYPREFIX=${MYPREFIX:-/usr/local}
 LIBDIR=${MYPREFIX}/lib/${APPNAME}