diff --git a/private/coveralls.rkt b/private/coveralls.rkt index 21f0a89..083556b 100644 --- a/private/coveralls.rkt +++ b/private/coveralls.rkt @@ -26,7 +26,9 @@ (if (verbose) (current-output-port) (open-output-nowhere))]) - (void (system* (path->string post) coverage-file)))) + (void (system* (path->string post) + coverage-file + (if (vebose) "-v" ""))))) ;; Maps service name to the environment variable that indicates that the service is to be used. (define BUILD-TYPES (hash "travis-ci" "TRAVIS_JOB_ID")) diff --git a/private/curl.sh b/private/curl.sh index 6cf1c20..bb19a15 100755 --- a/private/curl.sh +++ b/private/curl.sh @@ -1,5 +1,6 @@ #!/usr/bin/env bash file=$1 +verbose=$2 -curl -v --include --form json_file=@"$file" "https://coveralls.io/api/v1/jobs" +curl $verbose --include --form json_file=@"$file" "https://coveralls.io/api/v1/jobs"