diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-18 17:24:57 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-18 17:24:57 +0000 |
| commit | e545c728a6514978821b21bc55b75cfe819e0e70 (patch) | |
| tree | 8fac62fac2e3ab1ce9f7f3b6b324a3a020924a5f /pfinet | |
| parent | effc226d51d68669c91f24a8069ec900e0be6082 (diff) | |
(pfix): New function.
(pfatal, pwarn, errexit): Print DEVICE_NAME too if in preen mode.
(pinode): Take a message & args to print as well.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions