--prefix=/usr --enable-optimising \
--infodir='$${prefix}/share/info' \
--mandir='$${prefix}/share/man'
- $(MAKE)
- $(MAKE) test;
+ ulimit -c unlimited && $(MAKE)
+ ulimit -c unlimited && $(MAKE) test;
touch build-stamp
# make html
# unfortunatly, this does not work well with multiple processors
- $(MAKE) -j1 doc WEB_TARGETS="offline"
+ ulimit -c unlimited && $(MAKE) -j1 doc WEB_TARGETS="offline"
# make info
- $(MAKE) info
+ ulimit -c unlimited && $(MAKE) info
touch build-doc-stamp