diff options
Diffstat (limited to 'measure_scripts/11-patch')
-rwxr-xr-x | measure_scripts/11-patch | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/measure_scripts/11-patch b/measure_scripts/11-patch deleted file mode 100755 index 7963ffc..0000000 --- a/measure_scripts/11-patch +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -set -e - -cd ../linux - -git reset --hard - -git apply --index < ../measure_scripts/shark-ryu-board-patch.patch |