From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 30 Aug 2009 14:16:38 +0000 (+0200)
Subject: Fix make distcheck
X-Git-Tag: build37~15
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=99bafccc08919a5d640cb35962c4d730a2cad3a1;hp=99bafccc08919a5d640cb35962c4d730a2cad3a1;p=pspp-builds.git

Fix make distcheck
---