diff --git a/plugins_install/diehard.sh b/plugins_install/diehard.sh index 204a17a31e1d5321139241b6ac0bb03c9c79920b..f263234497461a803666190bf238341e162de758 100755 --- a/plugins_install/diehard.sh +++ b/plugins_install/diehard.sh @@ -16,9 +16,10 @@ case $key in --structured_heap) seq="$2" shift + shift ;; *) - shift; + shift ;; esac done