added script for half-automated cherry-picking all projects
[jprojects-scripts.git] / build-dist-all.sh
index 5ac2a3e6fe165fbb4772a9abbcea01979f5d57bc..aeb747e0229f676d250dad92a20bf9f1a6c645f4 100755 (executable)
@@ -53,7 +53,12 @@ for project in ${LIST}; do
                echo "$0: Error: Project '${project}' has non-executable dist.sh!"
                exit 1
        else
                echo "$0: Error: Project '${project}' has non-executable dist.sh!"
                exit 1
        else
-               ./dist.sh
+               if [ "$1" = "r" ]
+               then
+                       ./dist.sh r
+               else
+                       ./dist.sh
+               fi
        fi
 done
 
        fi
 done