Fixed the same thing again.

 Changes to be committed:
	modified:   lib/libmain.sh
	modified:   lib/libreinstall.sh

diff --git a/lib/libmain.sh b/lib/libmain.sh
index ce038f5..d4d4eb4 100644 (file)
--- a/lib/libmain.sh
+++ b/lib/libmain.sh
@@ -12,7 +12,7 @@ main_set_version ()
        MYVERSION=4.1.0
        COMPATIBLE_VERSIONS='^(4\.[1]\.[0-9])$'
        # Template for development versions
-       MYVERSION=4.0.0+toward_4.1.0_20180821153931
+       MYVERSION=4.0.0+toward_4.1.0_20180821155953
        COMPATIBLE_VERSIONS='^(4\.[0-1]\.[0-9]]|4\.[0]\.[0]+(|\+toward_4\.[0-1]\.[0-9]+_[0-9]+))$'
 }
 

diff --git a/lib/libreinstall.sh b/lib/libreinstall.sh
index 83c4498..3b8643f 100644 (file)
--- a/lib/libreinstall.sh
+++ b/lib/libreinstall.sh
@@ -834,6 +834,15 @@ reinstall_chk_missing_requirement ()
                } > "$REINSTALL_DBNODE_DIR/error.log"
                reinstall_restore_conflicts "$REINSTALL_ORIGIN"
                reinstall_restore_if_temporarily_deinstalled
+               for tag in all run build none
+               do
+                       for level in full direct
+                       do
+                               fileedit_add_a_line_if_new "$REINSTALL_ORIGIN" \
+                                       "${DBDIR}/todo_after_requirements_succeed.${tag}.${level}.list"
+                       done
+               done
+               fileedit_rm_a_line "$REINSTALL_ORIGIN" "${DBDIR}/failed.list"
                reinstall_skip 'Skipped because of missing/too old packages'
                return 1
        fi