diff options
Diffstat (limited to 'build-root/scripts/make-plugin-toolkit')
-rwxr-xr-x | build-root/scripts/make-plugin-toolkit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-root/scripts/make-plugin-toolkit b/build-root/scripts/make-plugin-toolkit index 14e9eda26fe..e1d6fcfb01c 100755 --- a/build-root/scripts/make-plugin-toolkit +++ b/build-root/scripts/make-plugin-toolkit @@ -26,7 +26,7 @@ make PLATFORM=vpp sample-plugin-find-source make PLATFORM=vpp TAG=vpp wipe-all echo Build vpp forwarder production package -make PLATFORM=vpp TAG=vpp V=0 strip_sumbols=yes install-packages +make PLATFORM=vpp TAG=vpp strip_sumbols=yes install-packages tmp_dir="`mktemp -d /tmp/plugin-XXXXXX`" trap "rm -rf $tmp_dir" err |