From 9a8e220770eab402f5940fd6b7a4e80a6bfab919 Mon Sep 17 00:00:00 2001
From: Michael Vetter <jubalh@iodoru.org>
Date: Fri, 18 Feb 2022 17:57:08 +0100
Subject: [PATCH] Remove configure-plugins helper script

We don't really need this.
---
 configure-plugins | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100755 configure-plugins

diff --git a/configure-plugins b/configure-plugins
deleted file mode 100755
index d0d9f98a..00000000
--- a/configure-plugins
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-./configure --enable-python-plugins --enable-c-plugins CFLAGS='-g -O0' CXXFLAGS='-g -O0'