diff options
| author | Jules Laplace <julescarbon@gmail.com> | 2018-05-14 20:42:17 +0200 |
|---|---|---|
| committer | Jules Laplace <julescarbon@gmail.com> | 2018-05-14 20:42:17 +0200 |
| commit | dc1abed056fcba062f098c5ad8b2579c9e050a86 (patch) | |
| tree | c40b001346dd308db538e669bd7156eede6e4640 | |
| parent | ed547c67deb4d2b7a6ca32b6ed82e528d241a721 (diff) | |
gen-prime..
| -rwxr-xr-x | gen-prime.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gen-prime.sh b/gen-prime.sh index 3c66850..e1b0d1d 100755 --- a/gen-prime.sh +++ b/gen-prime.sh @@ -7,8 +7,6 @@ function gen_prime () { primer_b=${6:-"0"} recursive=${7:-"False"} - if [ -z ${var+x} ]; then echo "var is unset" - sleep 0.1 echo "" echo "___________________________________________________" @@ -46,7 +44,9 @@ function gen_prime () { tag="${tag}_recursive" fi - ./latest.pl -l $tag $1 + echo "__________________" + echo ">> saving $exp_name - $tag" + ./latest.pl -nl $tag $exp_name } function gen_prime_set () { |
