diff --git a/makefiles/Makefile.common b/makefiles/Makefile.common index cebde7aa..ee618071 100644 --- a/makefiles/Makefile.common +++ b/makefiles/Makefile.common @@ -28,7 +28,6 @@ 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