From d682c8b9800c1f1f91bb84c518ff537f9f73f20e Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Tue, 31 Jul 2001 08:10:33 +0000
Subject: [PATCH] -plugin, -noplugin

---
 Common/GetOptions.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Common/GetOptions.cpp b/Common/GetOptions.cpp
index 5c9a1769cf..92dcf5f87b 100644
--- a/Common/GetOptions.cpp
+++ b/Common/GetOptions.cpp
@@ -1,4 +1,4 @@
-// $Id: GetOptions.cpp,v 1.29 2001-07-08 15:45:47 geuzaine Exp $
+// $Id: GetOptions.cpp,v 1.30 2001-07-31 08:10:33 geuzaine Exp $
 
 #include <unistd.h>
 #include "Gmsh.h"
@@ -371,9 +371,12 @@ void Get_Options (int argc, char *argv[], int *nbfiles) {
       else if(!strcmp(argv[i]+1, "noview")){ 
         opt_view_visible(0, GMSH_SET, 0); i++;
       }
-      else if(!strcmp(argv[i]+1, "plug")){ 
+      else if(!strcmp(argv[i]+1, "plugin")){ 
 	opt_general_default_plugins(0, GMSH_SET, 1); i++;
       }
+      else if(!strcmp(argv[i]+1, "noplugin")){ 
+	opt_general_default_plugins(0, GMSH_SET, 0); i++;
+      }
       else if(!strcmp(argv[i]+1, "link")){ 
         CTX.post.link = 2 ; i++;
       }
-- 
GitLab