diff --git a/share/trick/makefiles/Makefile.trickconfig b/share/trick/makefiles/Makefile.trickconfig new file mode 100644 index 00000000..b7308561 --- /dev/null +++ b/share/trick/makefiles/Makefile.trickconfig @@ -0,0 +1,9 @@ +# Utility makefile for trick-config + + +include ${TRICK_HOME}/share/trick/makefiles/Makefile.common + +# prints the value of a makefile variable, example invocation "make print-TRICK_CXXFLAGS" +# This rule is used by trick-config +print-%: + @echo '$*=$($*)'