From cb2b85512c2d10bf2f89b4d93f6157babc7e283f Mon Sep 17 00:00:00 2001 From: Omar Polo Date: Mon, 4 Jul 2022 09:43:51 +0000 Subject: [PATCH] add proper copyrights was a mistake on my part and a leftover from the first iterations. Initially I only stole a few bits, that's why the comment but not the copyright, but then i threwed out and restarted using oconfigure. Then the configure script has its own independent changes, but need to give attribution nevertheless. --- configure | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/configure b/configure index ce6e2c7..b77d2bf 100755 --- a/configure +++ b/configure @@ -1,6 +1,8 @@ #!/bin/sh # # Copyright (c) 2021 Omar Polo +# Copyright (c) 2011, 2013-2022 Ingo Schwarze +# Copyright (c) 2010, 2011, 2012 Kristaps Dzonsons # # Permission to use, copy, modify, and distribute this software for any # purpose with or without fee is hereby granted, provided that the above @@ -14,9 +16,6 @@ # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. -# adapted from mandoc configure and oconfigure, thanks schwarze@ and -# kristaps@! - set -e [ -w config.log ] && mv config.log config.log.old