2023-12-10 14:00:11 +01:00
|
|
|
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
if [ -z "$1" ]
|
|
|
|
then
|
|
|
|
echo "specify the project name to build"
|
|
|
|
else
|
|
|
|
jasmin -d bin src/$1.jas
|
|
|
|
ls -lah bin/$1.class
|
|
|
|
echo -e "executing ================================================\n"
|
|
|
|
cd bin
|
2023-12-10 16:05:22 +01:00
|
|
|
java $1 "${@:2}" # the first arg is what java should do, the other are args
|
2023-12-10 14:00:11 +01:00
|
|
|
fi
|