blob: 4dc8c53049c848b50c6c172ecec75436147eaeb2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
checkoff;
putline("inserting ""extended instr"" ...");
insert("extended instr");
putline("inserting ""convert"" ...");
insert("convert");
putline("inserting ""info"" ...");
insert("info");
putline("inserting ""disa"" ...");
insert("disa");
putline("inserting ""trace"" ...");
insert("trace");
putline("inserting ""gen.bulletin"" ...");
insert("gen.bulletin");
putline("compiling ""gen.procheads"" ...");
run("gen.procheads");
do("set procheads(""procheads"")");
forget("bulletin",quiet);
putline("task """+name(myself)+""" is now global manager");
putline("press any key ...");
pause; global manager
|
