diff --git a/Scripts/developer_scripts/run_testsuite_from_branch_name.sh b/Scripts/developer_scripts/run_testsuite_from_branch_name.sh index 80fb4872432..d0a79a7d2a4 100644 --- a/Scripts/developer_scripts/run_testsuite_from_branch_name.sh +++ b/Scripts/developer_scripts/run_testsuite_from_branch_name.sh @@ -12,35 +12,8 @@ if uname | grep -q -i cygwin; then set -o igncr fi source ~/.autofilterrc - - - - -queue_insert (){ -echo "$1 $2 $3 $4">>$CGAL_ROOT/queue_file -if [ ! -f running ];then - execute $1 $2 $3 $4 -fi -} - -queue_pop(){ -mv queue_file tmp - egrep -v "$1 $2 $3 $4" tmp>$CGAL_ROOT/queue_file - if [ "$(${CGAL_ROOT}/autotest.log2 2>&1 & - echo "exit." exit 0