Ignore sandbox on 'make quick'
commit668833dd0b059e6dcf63b14216252fa5aa919a15
authorJohn MacFarlane <jgm@berkeley.edu>
dateWed 1 Jul 2015, 12:11 (11 years ago)
parentb5d3b4f
Makefile+1−1
@@ -2,7 +2,7 @@ version=$(shell grep '^Version:' pandoc.cabal | awk '{print $$2;}')
22pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
33
44quick:
5− cabal configure --enable-tests --disable-optimization
5+ cabal --ignore-sandbox configure --enable-tests -fembed_data_files --disable-optimization
66 cabal build
77
88full: