From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 15 Jan 2015 15:22:15 +0000 (-0800)
Subject: build-aux/icon-list: Make executable.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=bf4006fb1f0554d72dc5c3c136cca9caa7491700

build-aux/icon-list: Make executable.

Somehow I checked in this script as non-executable.  This fixes the
problem.

Reported by Harry Thijssen.
---

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