diff --git a/script/update_openfpm b/script/update_openfpm index c784ccee557abf7f49f8705aebd816142b8d56fb..7b10c087e435e86297e2f95d3e0411c61dca57b5 100755 --- a/script/update_openfpm +++ b/script/update_openfpm @@ -76,6 +76,8 @@ function update_openfpm() fi fi + #### end + }