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