3021
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
1 #!/bin/bash
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
2 if [ -z "${JDK7}" ]; then
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
3 echo "JDK7 is not defined."
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
4 exit 1;
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
5 fi
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
6 if [ -z "${MAXINE}" ]; then
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
7 echo "MAXINE is not defined. It must point to a maxine repository directory."
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
8 exit 1;
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
9 fi
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
10 if [ -z "${GRAAL}" ]; then
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
11 echo "GRAAL is not defined. It must point to a maxine repository directory."
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
12 exit 1;
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
13 fi
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
14 if [ -z "${DACAPO}" ]; then
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
15 echo "DACAPO is not defined. It must point to a Dacapo benchmark directory."
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
16 exit 1;
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
17 fi
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
18 COMMAND="${JDK7}/bin/java -client -d64 -graal -Xms1g -Xmx2g -esa -classpath ${DACAPO}/dacapo-9.12-bach.jar -XX:-GraalBailoutIsFatal -G:-QuietBailout $* Harness --preserve -n 5 eclipse"
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
19 echo $COMMAND
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
20 $COMMAND
|
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
21 echo $COMMAND
|