diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-15 08:41:29 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-15 08:41:29 +0000 |
commit | 2bdc607c6365bc7dcdd75d454ae0c8def622f21f (patch) | |
tree | 4d5d0282d44ac98c9efb5cdc795387bfdb03f66d /Makefile.devel | |
parent | 5286b54dcbbda5715a59a7fc50cdfb9872706950 (diff) |
distcompile: don't ignore errors during compile
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Makefile.devel b/Makefile.devel index 6ad5f29b..12e076cc 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -308,8 +308,7 @@ distdocs: FORCE # distcompile: FORCE @echo "***** MAKING ELC FILES ****" -## FIXME: for now, ignroe errors in compilation - -$(MAKE) compile + $(MAKE) compile @@ -412,7 +411,7 @@ dist: ## WARNING: RELEASEDIR is not cleaned, but files there ## with same names will be overwritten. ## -release: distclean tag dist +release: distclean tag dist @echo "*************************************************" @echo " Making release (installing tarball distributions)." @echo "*************************************************" |