From 55fffa809312f6c0ae40528fd1ee66b7559c4650 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Tue, 14 May 2024 21:22:08 +0200
Subject: Merging upstream version 0.17.1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 ci/style-check.sh | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 ci/style-check.sh

(limited to 'ci/style-check.sh')

diff --git a/ci/style-check.sh b/ci/style-check.sh
deleted file mode 100755
index 683bbcd..0000000
--- a/ci/style-check.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash
-set -eu
-
-echo Evaluating changes:
-git diff -U0 "$TRAVIS_COMMIT_RANGE"
-echo
-
-diffs=$(git diff -U0 --no-color "$TRAVIS_COMMIT_RANGE" | "$CLANG_FORMAT_DIFF" -p1 -iregex '.*\.[ch]$')
-if [ "$diffs" != "" ]; then
-  echo ==== Style changes required ====
-  echo "$diffs"
-  exit 1
-fi
-
-- 
cgit v1.2.3