make_params: PREFIX can be set from 2nd parameter on command line.

diff --git a/Experimentations/make_params b/Experimentations/make_params
index dd7e201c1a473c9cf0e3be610cfdd8b427e67959..2d5c26bf20ce02f13e8b5874d793e55d94e79a9e 100755 (executable)
--- a/Experimentations/make_params
+++ b/Experimentations/make_params
@@ -3,7 +3,7 @@
 set -e
 
 TEMPLATE=${1:-"ag_parameters"}
-PREFIX=param
+PREFIX=${2:-"param"}
 
 log() {
     echo "-#- $@" >&2