From: Darshit Shah <s8dashah@stud.uni-saarland.de>
Date: Wed, 25 Oct 2017 12:53:54 +0000 (+0200)
Subject: On newer systems -ltinfo needs to be explicitly added to the link flags
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=4053c61636a5ee545c8130bcedea12d77b85de4c;hp=4053c61636a5ee545c8130bcedea12d77b85de4c

On newer systems -ltinfo needs to be explicitly added to the link flags
---