diff options
author | mark <[email protected]> | 2012-06-27 10:21:18 +0000 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2012-11-06 21:16:28 +0100 |
commit | b43c00e03abe8cda1000192f8acf5078cffd34a6 (patch) | |
tree | c21dc47b9937930c0526839c16bebe3f405e5d2e /make.sh | |
parent | 7f2e7634a4add378f51eb63e048cfa3fc3a6dc05 (diff) |
Initial
Diffstat (limited to 'make.sh')
-rwxr-xr-x | make.sh | 24 |
1 files changed, 24 insertions, 0 deletions
@@ -0,0 +1,24 @@ +#!/bin/sh + +if [ $# -ne 1 ] +then + echo "usage: version" 1>&2 + exit 1 +fi + +VERSION="$1" +shift + +INPUT="input/jogamp-all-platforms" +if [ ! -d "${INPUT}" ] +then + echo "make: error: ${INPUT} is not an existing directory" 1>&2 + echo "make: error: unpack jogamp-all-platforms.7z into 'input'" 1>&2 + exit 1 +fi + +./make-directories.sh "${VERSION}" || exit 1 +./make-copy-jars.sh "${VERSION}" || exit 1 +./make-poms.sh "${VERSION}" || exit 1 +./make-copy-poms.sh "${VERSION}" || exit 1 + |