diff config.sub @ 7716:a5dabfde673c

(main): In batch mode, don't set the pgrp.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 May 1994 04:46:38 +0000
parents 9c97c94610f2
children 4d8abd0e1acb
line wrap: on
line diff