From c318a7d1bbe6298965bf6a97262eba69f6999bb4 Mon Sep 17 00:00:00 2001
From: Matt Guthaus <mrg@ucsc.edu>
Date: Thu, 10 Nov 2016 11:44:48 -0800
Subject: [PATCH] Check if spice preferred version was found before fallback

---
 compiler/globals.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/globals.py b/compiler/globals.py
index 405fd5c6..fc250033 100644
--- a/compiler/globals.py
+++ b/compiler/globals.py
@@ -196,7 +196,7 @@ def set_spice():
             OPTS.spice_exe = spice_exe
             break
         
-    if not OPTS.force_spice:
+    if not OPTS.force_spice and OPTS.spice_exe == "":
         # if we didn't find the preferred version, try the other version and warn
         prev_version=OPTS.spice_version
         if OPTS.spice_version == "hspice":