diff options
| author |   Marek Gradzki <mgradzki@cisco.com> | 2018-04-30 09:03:13 +0200 |
|---|---|---|
| committer | Marek Gradzki <mgradzki@cisco.com> | 2018-05-02 09:55:56 +0000 |
| commit | 30b088af1c187d7d3abd65030089c2a56f5cf95b (patch) | |
| tree | ee427c54a6885d644c69a300407445fefff24628 /docker/vpp/kill.sh | |
| parent | 4b8bef208fc37b09008e3333db9d262d56b94192 (diff) | |
Move docker files to examples directory
Change-Id: Ib2eb3dbae76a1e9b5d98ce9e0d5eea9adba280cf
Signed-off-by: Marek Gradzki <mgradzki@cisco.com>
(cherry picked from commit e4c58493ce5265ea0d1e17d160c339401c406186)
Diffstat (limited to 'docker/vpp/kill.sh')
| -rwxr-xr-x | docker/vpp/kill.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docker/vpp/kill.sh b/docker/vpp/kill.sh deleted file mode 100755 index 329d201ec..000000000 --- a/docker/vpp/kill.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -ps -ef | grep vpp | awk '{print $2}'| xargs kill |