From: Ben Pfaff <blp@gnu.org>
Date: Tue, 16 Feb 2010 23:11:28 +0000 (-0800)
Subject: add build properties
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=32512097fa8fd103d842f3fe1573d3dc3b209439;hp=32512097fa8fd103d842f3fe1573d3dc3b209439;p=pspp

add build properties
---