diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-01 12:11:21 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-01 12:11:44 -0700 |
| commit | 668833dd0b059e6dcf63b14216252fa5aa919a15 (patch) | |
| tree | 23fa447571b95056ed44593ff02204a57d286f21 /Makefile | |
| parent | b5d3b4f6089eac5320f08911e435a626f90a389d (diff) | |
Ignore sandbox on 'make quick'
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ version=$(shell grep '^Version:' pandoc.cabal | awk '{print $$2;}') pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1) quick: - cabal configure --enable-tests --disable-optimization + cabal --ignore-sandbox configure --enable-tests -fembed_data_files --disable-optimization cabal build full: |