From f7a951d79bc895eb2171c2570add9f4899794a10 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 4 May 2024 19:55:52 +0200 Subject: Adding upstream version 0.15. Signed-off-by: Daniel Baumann --- configure | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100755 configure (limited to 'configure') diff --git a/configure b/configure new file mode 100755 index 0000000..894f6be --- /dev/null +++ b/configure @@ -0,0 +1,18 @@ +#!/bin/sh +srcdir=$(cd $(dirname $0); pwd -P) + +if [ "$srcdir" = "$(pwd -P)" ]; then + # We're not in a separate build dir, but in the source dir, we already + # have a Makefile. + exit 0 +fi + +cat > Makefile <