Oops, another type (`url`, should be `curl`)
authorJan Vrany <jan.vrany@fit.cvut.cz>
Tue, 24 Nov 2015 19:24:45 +0000
changeset 554 9d8a84bb2ed2
parent 553 d83cb4945d5e
child 555 4aa0496e6c22
Oops, another type (`url`, should be `curl`) Sigh.
ci/ci-common.sh
--- a/ci/ci-common.sh	Tue Nov 24 19:37:14 2015 +0100
+++ b/ci/ci-common.sh	Tue Nov 24 19:24:45 2015 +0000
@@ -82,7 +82,7 @@
 
 function ci_upload_benchmark_results {
 	if [ -f "$PETITCOMPILER_BENCHMARK_REPORT" ]; then
-  		url 'https://swing.fit.cvut.cz/calipel/imports/push-import'  \
+  		curl 'https://swing.fit.cvut.cz/calipel/imports/push-import'  \
 		    --user "$CALIPEL_USER:$CALIPEL_PASSWORD" \
 		    --compressed \
 		    -H 'Content-Type: application/json' \