pixie-lang/pixie — pull request #131 by heyLu (2014-12-15 11:51:43+00:00)
Title: Deprecate build scripts

The scripts are not yet removed, but they just print out the `make ...` command that should be run instead, to make the transition a bit easier.