debian/patches/fix-Make.coverity-bashisms.patch

   1 diff --git a/Make.coverity b/Make.coverity
   2 index 996e826e..a897aa0a 100644
   3 --- a/Make.coverity
   4 +++ b/Make.coverity
   5 @@ -12,7 +12,7 @@ cov-int-all : clean
   6
   7  cov-clean :
   8         @rm -vf $(NAME)-coverity-*.tar.*
   9 -       @if [[ -d cov-int ]]; then rm -rf cov-int && echo "removed 'cov-int'"; fi
  10 +       @if [ -d cov-int ]; then rm -rf cov-int && echo "removed 'cov-int'"; fi
  11
  12  cov-file : | $(COV_FILE)
  13
  14 @@ -20,9 +20,9 @@ $(COV_FILE) : | cov-int
  15         tar caf $@ cov-int
  16
  17  cov-upload :
  18 -       @if [[ -n "$(COV_URL)" ]] &&                                    \
  19 -           [[ -n "$(COV_TOKEN)" ]] &&                                  \
  20 -           [[ -n "$(COV_EMAIL)" ]] ;                                   \
  21 +       @if [ -n "$(COV_URL)" ] &&                                      \
  22 +           [ -n "$(COV_TOKEN)" ] &&                                    \
  23 +           [ -n "$(COV_EMAIL)" ] ;                                     \
  24         then                                                            \
  25                 echo curl --form token=$(COV_TOKEN) --form email="$(COV_EMAIL)" --form file=@"$(COV_FILE)" --form version=$(VERSION).1 --form description="$(COMMIT_ID)" "$(COV_URL)" ; \
  26                 curl --form token=$(COV_TOKEN) --form email="$(COV_EMAIL)" --form file=@"$(COV_FILE)" --form version=$(VERSION).1 --form description="$(COMMIT_ID)" "$(COV_URL)" ; \