From 77bf5577b26eff8273218eccafb5d8204e8de2d8 Mon Sep 17 00:00:00 2001
From: Antoine Dechaume <AntoineD@users.noreply.github.com>
Date: Mon, 8 Oct 2018 10:57:30 +0200
Subject: [PATCH] Fix internal CLI option name mismatch.

---
 hpcbind | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hpcbind b/hpcbind
index b185a92..9dbf01d 100755
--- a/hpcbind
+++ b/hpcbind
@@ -269,11 +269,11 @@ for i in "$@"; do
       HPCBIND_OPENMP_PROC_BIND=0
       shift
       ;;
-    --force-openmp-proc-bind=*)
+    --openmp-proc-bind=*)
       HPCBIND_OPENMP_FORCE_PROC_BIND="${i#*=}"
       shift
       ;;
-    --force-openmp-num-threads=*)
+    --openmp-num-threads=*)
       HPCBIND_OPENMP_FORCE_NUM_THREADS="${i#*=}"
       shift
       ;;