From d2fd241fe00199a04fb7a15dcbb2a166e6d44ad6 Mon Sep 17 00:00:00 2001 From: Emil Velikov Date: Tue, 15 Oct 2024 17:59:23 +0100 Subject: [PATCH] configure: remove unused file Remove the dummy and unused configure file. Glancing across distributions (Alpine, Arch, Fedora, CentOS Stream, Gentoo, Debian, Ubuntu) - they don't use it. It's not mentioned in our README either, so let's just remove it. Signed-off-by: Emil Velikov --- check_whence.py | 1 - configure | 4 ---- 2 files changed, 5 deletions(-) delete mode 100644 configure diff --git a/check_whence.py b/check_whence.py index 09dbdd54..cf2ac0ba 100755 --- a/check_whence.py +++ b/check_whence.py @@ -84,7 +84,6 @@ def main(): "WHENCE", "build_packages.py", "check_whence.py", - "configure", "contrib/process_linux_firmware.py", "contrib/templates/debian.changelog", "contrib/templates/debian.control", diff --git a/configure b/configure deleted file mode 100644 index 3260f9a9..00000000 --- a/configure +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -# -*- mode: sh -*- -# Our Makefile doesn't do srcdir != builddir -#buildapi-variable-no-builddir