#!/bin/bash # copyright (c) 2005, 2006, 2007, 2008, 2009 # Erik Jan Tromp # note: this script requires jigdo-file be patched to allow '--hex' to work # with 'make-template'. specifically, 'fast' rebuilds will never occur # with an unpatched jigdo-file usage() { cat << EOF Usage: $(basename $0)