c46b7434760cb5b4ebddb9a2a8ecf15927bf868f kent Mon Apr 1 22:09:02 2013 -0700 Adding metaHoist to build. diff --git src/meta/makefile src/meta/makefile index 678e682..8d18858 100644 --- src/meta/makefile +++ src/meta/makefile @@ -1,14 +1,16 @@ all: cd metaFlatten && ${MAKE} + cd metaHoist && ${MAKE} cd metaReformat && ${MAKE} alpha: all test: cd metaFlatten && ${MAKE} test + cd metaHoist && ${MAKE} test cd metaReformat && ${MAKE} test clean: rm -f meta*/*.o