xref: /seL4-l4v-master/HOL4/src/1/holmake_not_interactive.sml

val _ = Globals.interactive := false;