diff options
Diffstat (limited to 'extras/scripts')
| -rwxr-xr-x | extras/scripts/build_static_vppctl.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/extras/scripts/build_static_vppctl.sh b/extras/scripts/build_static_vppctl.sh index 1c09055492c..7ed2be24e82 100755 --- a/extras/scripts/build_static_vppctl.sh +++ b/extras/scripts/build_static_vppctl.sh @@ -1,16 +1,12 @@ #/bin/env bash src=$(realpath $(dirname $0)/../..)/src -tmp=$(mktemp -d) -mkdir ${tmp}/vppinfra -touch ${tmp}/vppinfra/config.h ${CC:-cc} \ -O2 \ -flto \ -static \ -I ${src} \ - -I ${tmp} \ ${src}/vppinfra/backtrace.c \ ${src}/vppinfra/dlmalloc.c \ ${src}/vppinfra/elf.c \ @@ -29,6 +25,3 @@ ${CC:-cc} \ ${src}/vppinfra/linux/mem.c \ ${src}/vpp/app/vppctl.c \ -o vppctl - -rm ${tmp}/vppinfra/config.h -rmdir ${tmp}/vppinfra ${tmp} |