# HG changeset patch
# User Jan Vrany <jan.vrany@fit.cvut.cz>
# Date 1448393085 0
# Node ID 9d8a84bb2ed2bbbcca907fcc1222de2c94a7cc63
# Parent  d83cb4945d5eb11b8130ceaf31a72564e0b80979
Oops, another type (`url`, should be `curl`)

Sigh.

diff -r d83cb4945d5e -r 9d8a84bb2ed2 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' \