blob: 496e35d8676decbecf2a91348cbe2fcb890fa876 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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
|