diff options
| -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 () { |
