From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 3 Jan 2016 04:44:22 +0000 (-0800)
Subject: sys-file-reader: Disallow system and scratch long variable names too.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=26d835f97534b20825b3121e326c288e994753f8;hp=26d835f97534b20825b3121e326c288e994753f8;p=pspp

sys-file-reader: Disallow system and scratch long variable names too.

Before this commit, the system file reader disallowed system and
scratch short variable names (e.g. names beginning with $ or #)
but not as long variable names.  This fixes the problem.

Bug #46783.
---