| 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
 | 
| 
 |