From 179826e5e690fac104da4258e58efb72106f8a15 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 19 Mar 2018 19:26:59 +0100
Subject: [PATCH] fix
---
scripts/config.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/config.sh b/scripts/config.sh
index 119f346bb..e436568f9 100755
--- a/scripts/config.sh
+++ b/scripts/config.sh
@@ -43,7 +43,7 @@ do
exit 0
;;
(--options)
- echo "--help -h --description --options --quiet -q --version -v show has module mpiexec makefile_conf"
+ echo "--help -h --description --options --quiet -q --version -v show has module mpiexec makefile_conf python_bin"
exit 0
;;
(--quiet|-q) quiet=yes ;;
--
GitLab