LGTM, thanks
On Thu, Dec 5, 2013 at 5:07 PM, Jose A. Lopes <[email protected]> wrote: > This fixes issue 634. > > Signed-off-by: Jose A. Lopes <[email protected]> > --- > Makefile.am | 5 +++-- > 1 file changed, 3 insertions(+), 2 deletions(-) > > diff --git a/Makefile.am b/Makefile.am > index eab7bd9..150b441 100644 > --- a/Makefile.am > +++ b/Makefile.am > @@ -1007,6 +1007,7 @@ $(HS_ALL_PROGS): %: %.hs $(HS_SRCS) Makefile > # for the test/hs/htest binary, we need to enable profiling/coverage > test/hs/htest: HCOVERAGE = true > test/hs/htest: HFLAGS += -itest/hs > +test/hs/htest: | $(BUILT_PYTHON_SOURCES) > > # we compile the hpc-htools binary with the program coverage > test/hs/hpc-htools: HCOVERAGE = true > @@ -2059,12 +2060,12 @@ check-local: check-dirs check-news > $(GENERATED_FILES) > test -z "$$error" > > .PHONY: hs-test-% > -hs-test-%: test/hs/htest | $(BUILT_PYTHON_SOURCES) > +hs-test-%: test/hs/htest > @rm -f htest.tix > test/hs/htest -t $* > > .PHONY: hs-tests > -hs-tests: test/hs/htest | $(BUILT_PYTHON_SOURCES) > +hs-tests: test/hs/htest > @rm -f htest.tix > ./test/hs/htest > > -- > 1.8.5.1 > > -- -- Helga Velroyen | Software Engineer | [email protected] | Google Germany GmbH Dienerstr. 12 80331 München Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschäftsführer: Graham Law, Christine Elizabeth Flores
