From d8be4844b96e768c3a872f17d79b89bf6a5c84d8 Mon Sep 17 00:00:00 2001
From: Peter Clifton <pcjc2@cam.ac.uk>
Date: Tue, 23 Feb 2010 23:54:40 +0000
Subject: [PATCH] Fix default gnetlist executable name to be "gnetlist"

The old value "defgnetlist" appears to have been a mistake.
---
 src/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index 9d61ffb0..400aebc3 100644
--- a/src/main.c
+++ b/src/main.c
@@ -612,7 +612,7 @@ REGISTER_ATTRIBUTES (main_attribute_list)
     Settings.GnetlistProgram = getenv ("PCB_GNETLIST");
   }
   if (Settings.GnetlistProgram == NULL) {
-    Settings.GnetlistProgram = strdup ("defgnetlist");
+    Settings.GnetlistProgram = strdup ("gnetlist");
   }
 
 
-- 
2.11.4.GIT