From eafe4f942d9f3df7c383789cd492e3fc5d831312 Mon Sep 17 00:00:00 2001 From: Jorropo Date: Thu, 28 Jan 2021 22:20:03 +0100 Subject: [PATCH] Ports (jq): Add .patch extension to the diff to fit the wildcard (#5148) This fixes the build of `jq`. `diff` were not matched by `patches/*.patch`, this seems to have gone unnoticed in a refactor. --- Ports/jq/patches/{diff => diff.patch} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Ports/jq/patches/{diff => diff.patch} (100%) diff --git a/Ports/jq/patches/diff b/Ports/jq/patches/diff.patch similarity index 100% rename from Ports/jq/patches/diff rename to Ports/jq/patches/diff.patch