diff --git a/parallel.sh b/parallel.sh new file mode 100755 index 0000000000..92dc2e7aaa --- /dev/null +++ b/parallel.sh @@ -0,0 +1,6 @@ +#!/bin/bash +if [ ! $1 ]; then + echo "Usage: $0 <versionnumber>" + exit 1 +fi +mv view/target/scipro2.war view/target/scipro2##$(printf "%06d" $1).war