| Index: src/scripts/run_remote_tests.sh
|
| diff --git a/src/scripts/run_remote_tests.sh b/src/scripts/run_remote_tests.sh
|
| index f6060c95553ad21ba76533f6f1350429f0e1d8f8..6239137c15f110f1b8fae4fae02b25e51383a796 100755
|
| --- a/src/scripts/run_remote_tests.sh
|
| +++ b/src/scripts/run_remote_tests.sh
|
| @@ -79,15 +79,6 @@ function is_successful_test() {
|
| return 0
|
| }
|
|
|
| -# Removes single quotes around parameter
|
| -# Arguments:
|
| -# $1 - string which optionally has surrounding quotes
|
| -# Returns:
|
| -# None, but prints the string without quotes.
|
| -function remove_quotes() {
|
| - echo "$1" | sed -e "s/^'//; s/'$//"
|
| -}
|
| -
|
| # Adds attributes to all tests run
|
| # Arguments:
|
| # $1 - results directory
|
|
|