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