Patch install

5 years ago · 4984226b67
parent 07f83ed52a
commit 4984226b67
2 changed files with 11 additions and 0 deletions
--- a/debian/patches/install.patch
+++ b/debian/patches/install.patch
@ -0,0 +1,10 @@
 --- a/install.sh
 +++ b/install.sh
@@ -1,6 +1,5 @@
 #!/bin/bash
 -set -ueo pipefail
 -#set -x
 +set -x
 REPO_DIR="$(cd "$(dirname "$0")" && pwd)"
 SRC_DIR="$REPO_DIR/src"
--- a/debian/patches/series
+++ b/debian/patches/series
@ -0,0 +1 @@
 install.patch