From 7079d30dfe837f97cb6673314fef2971f6d973e7 Mon Sep 17 00:00:00 2001 From: Derek Bankieris Date: Thu, 9 Nov 2017 12:16:45 -0600 Subject: [PATCH] 15: Export TRICK_EXCLUDE from Makefile.common Fixes #513 --- makefiles/Makefile.common | 1 + 1 file changed, 1 insertion(+) diff --git a/makefiles/Makefile.common b/makefiles/Makefile.common index ee618071..cebde7aa 100644 --- a/makefiles/Makefile.common +++ b/makefiles/Makefile.common @@ -28,6 +28,7 @@ export TRICK_CFLAGS export TRICK_CXXFLAGS export TRICK_LDFLAGS export TRICK_SFLAGS +export TRICK_EXCLUDE export TRICK_ICG_EXCLUDE export TRICK_ICG_NOCOMMENT export TRICK_SWIG_EXCLUDE