From b940bbd5a99869b24a452a4bf4c681c509f00991 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Tue, 8 Aug 2017 14:17:55 +0200
Subject: [PATCH] build: - unused code removed

---
 build | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build b/build
index c5b1357..e334467 100755
--- a/build
+++ b/build
@@ -94,7 +94,6 @@ pmodules::compile() {
 	local force='no'
 	local config_file="${BOOTSTRAP_DIR}/${DEFAULT_CONFIG_FILE}"
 
-	local opts='--bootstrap'
 	while (( $# > 0 )); do
 		case $1 in
 			--disable-cleanup )
@@ -174,6 +173,9 @@ pmodules::install() {
 			--config=* )
 				config_file="${1#*=}"
 				;;
+			--debug )
+				set -x
+				;;
 			--install-root )
 				PMODULES_ROOT="$2"
 				shift 1