diff options
Diffstat (limited to 'recipes-core/ecj/files/ecj.in')
-rwxr-xr-x | recipes-core/ecj/files/ecj.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/recipes-core/ecj/files/ecj.in b/recipes-core/ecj/files/ecj.in new file mode 100755 index 0000000..30c3862 --- /dev/null +++ b/recipes-core/ecj/files/ecj.in | |||
@@ -0,0 +1,12 @@ | |||
1 | error_counter=0; | ||
2 | error_occured=139 | ||
3 | while [ ${error_counter} -le 50 -a ${error_occured} -eq 139 ]; do | ||
4 | ${RUNTIME} -Xmx1024m -cp ${ECJ_JAR} org.eclipse.jdt.internal.compiler.batch.Main ${1+"$@"} | ||
5 | error_occured=$? | ||
6 | if [ ${error_occured} -eq 139 ]; then | ||
7 | echo "ecj crashed - silently trying again" | ||
8 | error_counter=$(( $error_counter + 1 )) | ||
9 | fi | ||
10 | done | ||
11 | |||
12 | exit ${error_occured} | ||