From c33d9fd291de69f9c1da63fdbcb4c5c3d6e73991 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Tue, 30 Jan 2018 19:47:44 +0100
Subject: [PATCH] small fix

added comment in config.txt file
---
 src/maketools/update-config-txt.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/maketools/update-config-txt.sh b/src/maketools/update-config-txt.sh
index 7a604f6c9..6535f75ae 100755
--- a/src/maketools/update-config-txt.sh
+++ b/src/maketools/update-config-txt.sh
@@ -101,6 +101,8 @@ echo "# version strings"
 echo "# syntax: version short/long/git number"
 echo "$version"
 echo
+echo "# command to lauch mpi processes"
+echo "# syntax: mpiexec command"
 echo "mpiexec $mpiexec"
 echo
 echo "# list of 'has' options"
-- 
GitLab