Browse files

makefile whitespace

github's browser editor might have a bug?
  • Loading branch information...
1 parent fa9d820 commit d64c3aba1d26431f6b55dd086ed99b4edbe3d09e @mmirman mmirman committed Dec 13, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 Makefile
@@ -11,7 +11,7 @@ copy-mlton:
mkdir -p bin
bin/ollibot: copy-mlton
- -mlton -default-ann 'sequenceNonUnit warn' -output bin/ollibot escape-src/
+ -mlton -default-ann 'sequenceNonUnit warn' -output bin/ollibot escape-src/
bin/olliserver: copy-mlton
-mlton -default-ann 'allowFFI true' -default-ann 'sequenceNonUnit warn' -output bin/olliserver escape-src/ src/server/raw-network.c

0 comments on commit d64c3ab

Please sign in to comment.