From: Karl Berry <karl@freefriends.org>
Date: Thu, 24 Jan 2008 14:52:11 +0000 (-0800)
Subject: exec
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dc6df014664e7ae3110d1cf1b66ad2e4849d4b0c;p=pspp

exec
---

diff --git a/build-aux/depcomp b/build-aux/depcomp
old mode 100644
new mode 100755