diff Makefile @ 86:70d7ebeb4523

Erm. Don't throw away -D args.
author David A. Holland
date Mon, 10 Jun 2013 21:37:01 -0400
parents 18681e5ae6e4
children 36dd4701e0ba
line wrap: on
line diff