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 |