From c62dc317c21026396a7a5581b90d17ef4c44f9ac Mon Sep 17 00:00:00 2001
From: Cheng Shao <terrorjack@type.dance>
Date: Tue, 16 Apr 2024 19:13:23 +0000
Subject: [PATCH] ghc-bignum: remove obsolete ln script

This commit removes an obsolete ln script in ghc-bignum/gmp. See
060251c24ad160264ae8553efecbb8bed2f06360 for its original intention,
but it's been obsolete for a long time, especially since the removal
of the make build system. Hence the house cleaning.
---
 libraries/ghc-bignum/gmp/ln | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100755 libraries/ghc-bignum/gmp/ln

diff --git a/libraries/ghc-bignum/gmp/ln b/libraries/ghc-bignum/gmp/ln
deleted file mode 100755
index a3a297ccdbe9..000000000000
--- a/libraries/ghc-bignum/gmp/ln
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-exit 1
-
-- 
GitLab