diff options
| author |   Ed Warnicke <eaw@cisco.com> | 2016-08-17 19:41:29 -0700 |
|---|---|---|
| committer | Ed Warnicke <eaw@cisco.com> | 2016-08-17 19:41:29 -0700 |
| commit | 950174aa2abacf0e6ffc098a1ac49373e4a5db87 (patch) | |
| tree | 11eb4998daa56deead10e87fe1bb17a130e3c10e /jjb/vpp | |
| parent | ea5779a5bd00c0cf1f01d5e2da35b86f03876fc3 (diff) | |
Possible fix for apt repo indexing.
According to:
https://github.com/Tangresh/nexus-apt-plugin
Adding a classifer may help, so we do that here.
Change-Id: Ia19325ca07d289ca0043f2640d928daea052722e
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'jjb/vpp')
| -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 () |