X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fexpressions%2Fgenerate.pl;h=4ad1764b1c3c96152703b90e8a22afb85f8120db;hb=5e89e0049bd55f22412f547d8d7bfefc69443e98;hp=9d753867cc1f72865e8d251d289748fa21e0926b;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/language/expressions/generate.pl b/src/language/expressions/generate.pl
index 9d753867cc..4ad1764b1c 100644
--- a/src/language/expressions/generate.pl
+++ b/src/language/expressions/generate.pl
@@ -233,6 +233,7 @@ sub parse_input {
 	$op{OPTIMIZABLE} = 1;
 	$op{UNIMPLEMENTED} = 0;
 	$op{EXTENSION} = 0;
+	$op{PERM_ONLY} = 0;
 	for (;;) {
 	    if (match ('extension')) {
 		$op{EXTENSION} = 1;
@@ -240,6 +241,8 @@ sub parse_input {
 		$op{OPTIMIZABLE} = 0;
 	    } elsif (match ('absorb_miss')) {
 		$op{ABSORB_MISS} = 1;
+	    } elsif (match ('perm_only')) {
+		$op{PERM_ONLY} = 1;
 	    } else {
 		last;
 	    }