Improving tests

Jenkinsfile

@@ -37,7 +37,7 @@ pipeline {
                                                     sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r6rs-docker"
                                                 }
                                             }
-                                        }
+                                        }]
                                     }
                                 }
                             }