projects
/
jprojects-scripts.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Only cherry-pick if really there is something to do.
[jprojects-scripts.git]
/
build-dist-all.sh
diff --git
a/build-dist-all.sh
b/build-dist-all.sh
index 5ac2a3e6fe165fbb4772a9abbcea01979f5d57bc..c5ae10febf7425071e9b9dbf07be4e23571cca01 100755
(executable)
--- a/
build-dist-all.sh
+++ b/
build-dist-all.sh
@@
-3,10
+3,14
@@
. ./.jprojects.sh || exit 255
for project in ${LIST}; do
. ./.jprojects.sh || exit 255
for project in ${LIST}; do
- if [ ! -d "${JPROJECTS_HOME}/${project}" ]
+ if [ "${project}" = "jprojects-scripts" ]
+ then
+ echo "$0: Skipping jprojects-scripts ..."
+ continue
+ elif [ ! -d "${JPROJECTS_HOME}/${project}" ]
then
echo "$0: Project '${project}' does not exist."
then
echo "$0: Project '${project}' does not exist."
- continue
;
+ continue
fi
echo "$0: Executing '${project}' ..."
fi
echo "$0: Executing '${project}' ..."
@@
-53,7
+57,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