From: Ben Pfaff Date: Fri, 8 Dec 2006 23:40:23 +0000 (+0000) Subject: New target to generate cscope.files. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e5439c03526c8e2881b0430ddbfe02812bee2e68;hp=e5439c03526c8e2881b0430ddbfe02812bee2e68;p=pintos-anon New target to generate cscope.files. ---