diff --git a/doc-collection/interrupts/interrupt.ils b/doc-collection/interrupts/interrupt.ils index b95c0c0ee..5f17c492b 100644 --- a/doc-collection/interrupts/interrupt.ils +++ b/doc-collection/interrupts/interrupt.ils @@ -1,6 +1,9 @@ /* test comment */ // test comment +/* global = variable from global state including that provided by host program. "global" is explicitly + specified to differentiate from any local variables this script may use. */ + /* yeah, using a bit of syntax inspiration from Perl */ exit unless global dialect == "interrupt list"; /* this is a list of interrupts, do not parse otherwise, just quietly exit with success */