diff options
Diffstat (limited to 'debian/patches/fix-Make.coverity-bashisms.patch')
| -rw-r--r-- | debian/patches/fix-Make.coverity-bashisms.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/debian/patches/fix-Make.coverity-bashisms.patch b/debian/patches/fix-Make.coverity-bashisms.patch deleted file mode 100644 index c1cdeb96..00000000 --- a/debian/patches/fix-Make.coverity-bashisms.patch +++ /dev/null @@ -1,26 +0,0 @@ -diff --git a/Make.coverity b/Make.coverity -index 996e826e..a897aa0a 100644 ---- a/Make.coverity -+++ b/Make.coverity -@@ -12,7 +12,7 @@ cov-int-all : clean - - cov-clean : - @rm -vf $(NAME)-coverity-*.tar.* -- @if [[ -d cov-int ]]; then rm -rf cov-int && echo "removed 'cov-int'"; fi -+ @if [ -d cov-int ]; then rm -rf cov-int && echo "removed 'cov-int'"; fi - - cov-file : | $(COV_FILE) - -@@ -20,9 +20,9 @@ $(COV_FILE) : | cov-int - tar caf $@ cov-int - - cov-upload : -- @if [[ -n "$(COV_URL)" ]] && \ -- [[ -n "$(COV_TOKEN)" ]] && \ -- [[ -n "$(COV_EMAIL)" ]] ; \ -+ @if [ -n "$(COV_URL)" ] && \ -+ [ -n "$(COV_TOKEN)" ] && \ -+ [ -n "$(COV_EMAIL)" ] ; \ - then \ - echo curl --form token=$(COV_TOKEN) --form email="$(COV_EMAIL)" --form file=@"$(COV_FILE)" --form version=$(VERSION).1 --form description="$(COMMIT_ID)" "$(COV_URL)" ; \ - curl --form token=$(COV_TOKEN) --form email="$(COV_EMAIL)" --form file=@"$(COV_FILE)" --form version=$(VERSION).1 --form description="$(COMMIT_ID)" "$(COV_URL)" ; \ |