From 8d9f69f7bfd5f4ba1fdea36e9383bc403bc58f8e 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 84551b35b..67e9f7fe6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -246,6 +246,10 @@ This file describes the procedures to install ngspice from sources.
         Enables a 'make check' with strongly reduced runtime. Besides some
         regression tests only BSIM3 and BSM4 devices are checked.
 
+ --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