blob: 706a6833ab2e4fbf219811ff42c19158d63636fc (
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
25
|
#!/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
./clean.sh || exit 1
./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
|