From: John Darrington <john@darrington.wattle.id.au>
Date: Fri, 6 Oct 2017 09:46:27 +0000 (+0200)
Subject: Avoid compiler warnings when building without readline
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8fa37ab22125896c4549d8681804aa65095d4c1c;hp=8fa37ab22125896c4549d8681804aa65095d4c1c;p=pspp

Avoid compiler warnings when building without readline
---