igneous-systems/pickett — pull request #115 by rakitzis (2014-08-29 23:37:48+00:00)
Title: Re-work Make.sh after pickett filename reorg.

Things get simpler now with everything buildable from the top-level directory. But fix make.sh so it does the right thing.