From 59d450e58646bdc0af5e9250df7d6267c3c791fc Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Tue, 22 Sep 2020 04:28:22 -0700 Subject: Separate build of spike and spike-dasm --- Makefile.in | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile.in') diff --git a/Makefile.in b/Makefile.in index 17a2bd5..7f14602 100644 --- a/Makefile.in +++ b/Makefile.in @@ -37,6 +37,7 @@ src_dir := @srcdir@ scripts_dir := $(src_dir)/scripts HAVE_INT128 := @HAVE_INT128@ +HAVE_DLOPEN := @HAVE_DLOPEN@ # If the version information is not in the configure script, then we # assume that we are in a working directory. We use the vcs-version.sh -- cgit v1.1