fix multiline

runtimeverification · Jul 31, 2019 · a47e4b2 · a47e4b2
1 parent a067e60
commit a47e4b2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -302,7 +302,6 @@ pipeline {
                 hub release create                                                                                          \
                     --attach "kevm-${KEVM_RELEASE_ID}-src.tar.gz#Source tar.gz"                                             \
                     --attach "kevm_${KEVM_RELEASE_ID}_amd64.deb#Ubuntu Bionic (18.04) Package"                              \
-                #    --attach "kevm-${KEVM_RELEASE_ID}/package/kevm-git-${KEVM_RELEASE_ID}-1-x86_64.pkg.tar.xz#Arch Package" \
                     --file "release.md" "${release_tag}"
               '''
             }