Browse Source

remove unused file

master
Boian Bonev 2 months ago
parent
commit
0cf6f53241
1 changed files with 0 additions and 14 deletions
  1. +0
    -14
      debian/patches/add_patch.sh

+ 0
- 14
debian/patches/add_patch.sh View File

@@ -1,14 +0,0 @@
#!/bin/bash

set -e

patchpath=`dirname ${0}`

for hash in $@; do
fname=`git log -1 --pretty=format:'%h_%f' ${hash}`
git format-patch --stdout -N -1 ${hash} > "${fname}"
if ! grep -q ${fname} series; then
echo "${fname}" >> series
fi
done


Loading…
Cancel
Save