Update variable name.
authorvittorio.giovara@gmail.com
Tue, 20 Jan 2015 15:31:44 +0000
changeset 543 0b430064fc8d
parent 542 38a6b02d601d
child 544 6e78f17e8328
Update variable name.
pas2CTutorial.wiki
--- a/pas2CTutorial.wiki	Tue Jan 06 16:13:58 2015 +0000
+++ b/pas2CTutorial.wiki	Tue Jan 20 15:31:44 2015 +0000
@@ -1,7 +1,7 @@
 #labels Phase-Implementation
 ==Automatic==
 
-Configure with `cmake -DNOPASCAL=1` and then run `make`.
+Configure with `cmake -DBUILD_ENGINE_C=1` and then run `make`.
 
 ==Manual run==