From 1adb429294788f8f878ef66a8138e614db63bf54 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 2 Oct 2015 17:32:59 -0400
Subject: [PATCH] allow overriding PROCS

---
 project-deal.II.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project-deal.II.cfg b/project-deal.II.cfg
index fdd8c58..f42f1d1 100644
--- a/project-deal.II.cfg
+++ b/project-deal.II.cfg
@@ -60,7 +60,7 @@ MKL=OFF
 
 #########################################################################
 # How many processes would you like to build using?
-PROCS=1
+PROCS=${PROCS:-1}
 
 #########################################################################
 # Prefix directory
-- 
2.39.5