Remember that sourceless task was successfully run

2020-09-17 15:48:13 +02:00 · 2020-09-17 15:48:13 +02:00 · e1b6a7b358
parent bc4e4c1180
commit e1b6a7b358
1 changed files with 2 additions and 1 deletions
--- a/forgebuild.sh
+++ b/forgebuild.sh
@ -190,7 +190,8 @@ for p_name in ${PROJECTS[*]}; do
    if [ ! -f $BASEDIR/$p_name.source ]; then
        # If $p_name.done exists, the task was already run
        [ -f $BASEDIR/$p_name.done ] && continue
-        run $p_name
+        # If the task fails, don't register the .done
+        run $p_name && touch $BASEDIR/$p_name.done
        continue
    fi