projects
/
anna.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Optimize
[anna.git]
/
example
/
diameter
/
launcher
/
resources
/
scripts
/
clone.sh
diff --git
a/example/diameter/launcher/resources/scripts/clone.sh
b/example/diameter/launcher/resources/scripts/clone.sh
index
ad89977
..
d392097
100755
(executable)
--- a/
example/diameter/launcher/resources/scripts/clone.sh
+++ b/
example/diameter/launcher/resources/scripts/clone.sh
@@
-4,7
+4,8
@@
# VARIABLES #
#############
CLONE_WKDIR=$(mktemp -d)
# VARIABLES #
#############
CLONE_WKDIR=$(mktemp -d)
-MAX_NUMBER_GROUPS=400
+#MAX_NUMBER_GROUPS=400
+MAX_NUMBER_GROUPS=200
# (depends on the machine)
#############
# (depends on the machine)
#############
@@
-16,7
+17,8
@@
_exit (){
echo
# Background jobs:
echo
# Background jobs:
- kill -9 $(jobs -p) >/dev/null 2>/dev/null
+ #remaining_jobs=$(jobs -p)
+ (kill -9 $(jobs -p) 2>&1) >/dev/null
# Cleanup:
rm -rf $CLONE_WKDIR
# Cleanup:
rm -rf $CLONE_WKDIR