From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 7 Mar 2012 11:13:30 +0000 (+0100)
Subject: make_params: PREFIX can be set from 2nd parameter on command line.
X-Git-Tag: exp_20120308~3
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/c0eaeb249c8fd246f3a56f18f61e417c277f43c1?ds=inline

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

diff --git a/Experimentations/make_params b/Experimentations/make_params
index dd7e201..2d5c26b 100755
--- 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