Filtering of syscalls is now driven by a table.

[eval.git] / config

diff --git a/config b/config
index e7a1f2bbbec9c120b4fa2784ff58d3b2baf5f754..3f870327547d8842e95e0151265821ef3f438755 100644 (file)
--- a/config
+++ b/config
@@ -142,7 +142,7 @@ FREE_PASCAL_RTE=1
 # DEBUG: Let `ev' run sample tests, too.
 #EV_SAMPLE=1
 
-# DEBUG: Run `pedant' on all input data
+# DEBUG: Run `pedant' on all input data. Set either to `1' or to pedant's options.
 #EV_PEDANT=1
 
 # DEBUG: Skip checks (useful when generating output files by running model solution)