diff configure @ 3320:ac8b70dd5e45

use return 1; if interrupted - patch by Artur Skawina <skawina@geocities.com>
author arpi
date Tue, 04 Dec 2001 20:35:31 +0000
parents 73de2c85844d
children da763020034d
line wrap: on
line diff