From 7b69a8edaa92198a626257f682b24c348d238191 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 24 Jun 2019 10:39:14 +0200
Subject: [PATCH] forgotten close
---
src/maketools/plumedcheck | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/maketools/plumedcheck b/src/maketools/plumedcheck
index 2c47b8ef5..1500e85d3 100755
--- a/src/maketools/plumedcheck
+++ b/src/maketools/plumedcheck
@@ -149,6 +149,7 @@ BEGIN{
# create tmp dir for future usage
"mktemp -dt plumed.XXXXXX" | getline tmpdir
+ close("mktemp -dt plumed.XXXXXX")
# checking astyle presence
astyle_available=!system(astyle " --version > /dev/null 2> /dev/null")
--
GitLab