diff --git a/ChangeLog b/ChangeLog index e914f3b89..27e1e9891 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2012-12-02 Paulo Andrade + + * check/Makefile.am: Add proper "make clean" rule and missing + check.sh to EXTRA_DIST. + 2012-12-02 Paulo Andrade * .gitignore: Update pattern of ignored files. diff --git a/check/Makefile.am b/check/Makefile.am index 6d9d1e064..c88f069ae 100644 --- a/check/Makefile.am +++ b/check/Makefile.am @@ -31,10 +31,13 @@ EXTRA_DIST = \ bp.tst bp.ok \ divi.tst divi.ok \ fib.tst fib.ok \ + check.sh \ all.tst TESTS = 3to2 add allocai bp divi fib +CLEANFILES = $(TESTS) + # Not so pretty but good for a prototype $(TESTS): check.sh $(LN_S) check.sh $@