Skip to content
Commit 8bc7b2e1 authored by Yuanle Song's avatar Yuanle Song
Browse files

update build files. 

- enabled ghc -O2, I don't know what's the default.
- upload via i234 is faster than direct upload.
parent 177b8cd0
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment