From 425a846b1474cba1c6ffb3328b2d052048a5a30e Mon Sep 17 00:00:00 2001 From: Jean-Marc Lasgouttes Date: Mon, 14 Dec 2020 18:58:40 +0100 Subject: [PATCH] Tweak nod Makefile There is no inner nod/ directory. We could, but it is probably not worth it. --- 3rdparty/nod/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/3rdparty/nod/Makefile.am b/3rdparty/nod/Makefile.am index d1285c40c4..9486f8c72b 100644 --- a/3rdparty/nod/Makefile.am +++ b/3rdparty/nod/Makefile.am @@ -1,4 +1,4 @@ include $(top_srcdir)/config/common.am -EXTRA_DIST = nod \ +EXTRA_DIST = nod.hpp \ README.md