diff options
Diffstat (limited to 'jjb')
| -rw-r--r-- | jjb/vpp/include-raw-vpp-maven-push.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh index c26e5d37a..ce07fee65 100644 --- a/jjb/vpp/include-raw-vpp-maven-push.sh +++ b/jjb/vpp/include-raw-vpp-maven-push.sh @@ -63,7 +63,7 @@ function push_deb () artifactId=$(echo "$basefile" | cut -f 1 -d '_') version=$(echo "$basefile" | cut -f 2- -d '_') - push_file "$debfile" "$repoId" "$url" "$version" "$artifactId" deb + push_file "$debfile" "$repoId" "$url" "$version" "$artifactId" deb deb } function push_rpm () |