From cde29b33df80da240a23f659915844e9ede93b48 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Tue, 25 Oct 2022 16:20:06 +0200
Subject: [PATCH] Add --enable-shortcheck as configure option

---
 INSTALL | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/INSTALL b/INSTALL
index 5417d4dc2..84551b35b 100644
--- a/INSTALL
+++ b/INSTALL
@@ -242,6 +242,10 @@ This file describes the procedures to install ngspice from sources.
         of readline.
         See https://www.thrysoee.dk/editline/
 
+ --enable-shortcheck
+        Enables a 'make check' with strongly reduced runtime. Besides some
+        regression tests only BSIM3 and BSM4 devices are checked.
+
 1.5.2 Options Specific to Enable Ngspice as a shared library
 
  --with-ngshared