#! /bin/bash echo "Set environment" # Custom script to set environment variables like FIJI path TEST path JAVA_HOME source ~/.bashrc_custom cd plugin ant main if [ $? -ne 0 ] then echo "Error compiling" exit 1 fi ant jtest if [ $? -ne 0 ] then echo "Error in the tests" exit 1 fi cd $FIJI_MOSAIC_PLUGIN_PATH/../.. ./ImageJ-linux64 -batch test.ijm "username=incardon" # check if tmp/test has succeful file if [ ! -e "/tmp/test/succeful" ] then echo "Error in the tests" exit 1 fi