From 7c91a56296de99a82b8ad09862f8df289026d25e Mon Sep 17 00:00:00 2001 From: jessoune29 <parentj656@gmail.com> Date: Fri, 4 Oct 2019 06:34:55 -0400 Subject: [PATCH] Delete travis.sh --- scripts/travis.sh | 72 ----------------------------------------------- 1 file changed, 72 deletions(-) delete mode 100755 scripts/travis.sh diff --git a/scripts/travis.sh b/scripts/travis.sh deleted file mode 100755 index ef404db6..00000000 --- a/scripts/travis.sh +++ /dev/null @@ -1,72 +0,0 @@ -#!/bin/bash - -set -e - -case "X$TRAVIS_EVENT_TYPE" in - Xpull_request) - ;; - - Xpush) - ;; - - X*) - echo "INFO: not a PR; ignoring" - exit 0 - ;; - - X) - echo "ERROR: TRAVIS_EVENT_TYPE not set" - exit 1 - ;; -esac - -if [ -z "$TRAVIS_COMMIT_RANGE" ]; then - echo "ERROR: TRAVIS_COMMIT_RANGE not set" - exit 1 -fi - -CHANGED_FILES=($(git diff --name-only $TRAVIS_COMMIT_RANGE)) - - -for FN in "${CHANGED_FILES[@]}"; do - if [ ! -f "$FN" ]; then - echo "ignoring $FN (not a file (anymore))" - continue - fi - - if [[ "$FN" =~ ^patches/(.*)[.]patch$ ]]; then - echo "--------------------------------------------------------------------------------" - echo "detected patch file '$FN'" - if [[ "$FN" =~ ^patches/([A-Za-z0-9-]+)-([0-9.]+)[.]patch$ ]]; then - PKGN="${BASH_REMATCH[1]}" - PKGV="${BASH_REMATCH[2]}" - - echo "Patch filename looks valid (name = '$PKGN', version = '$PKGV')" - - rm -rf travis.tmp/ - mkdir -p travis.tmp/ - pushd travis.tmp/ - echo "...downloading original tar-ball (w/o revised .cabal file)..." - wget --no-verbose "https://hackage.haskell.org/package/$PKGN-$PKGV.tar.gz" - echo "...unpacking..." - tar -xf "$PKGN-$PKGV.tar.gz" - cd "$PKGN-$PKGV/" - echo "...applying patch..." - patch -p1 -i "../../$FN" - - echo "Patch could be applied succesfully!" - - popd - else - echo "invalid package-id" - exit 1 - fi - echo "================================================================================" - else - echo "ignoring $FN" - continue - fi -done - - -echo DONE -- GitLab