redo. Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.