A bit more Makefile.py work.

This commit is contained in:
david 2002-08-25 01:21:04 +00:00
parent f642bfb398
commit fa16a6ba51
4 changed files with 10 additions and 0 deletions

View File

@ -10,4 +10,5 @@ insert(202, mirror)
insert(301, make)
insert(302, make)
insert(303, make)
insert(304, make)

View File

@ -38,3 +38,6 @@ insert(302,
insert(303,
[Make command wrote to STDERR],
[A command wrote output to STDERR.])
insert(304,
[Make command wrote zero-length file.],
[A command created an output file, but the length of that file is zero.])

View File

@ -35,3 +35,6 @@ insert(302,
insert(303,
[Make command wrote to STDERR],
[A command wrote output to STDERR.])
insert(304,
[Make command wrote zero-length file.],
[A command created an output file, but the length of that file is zero.])

View File

@ -35,3 +35,6 @@ insert(302,
insert(303,
[Make command wrote to STDERR],
[A command wrote output to STDERR.])
insert(304,
[Make command wrote zero-length file.],
[A command created an output file, but the length of that file is zero.])