Skip to content

Commit

Permalink
Export path inside of script
Browse files Browse the repository at this point in the history
  • Loading branch information
benedikt-schesch committed Oct 4, 2023
1 parent a1c7b49 commit 2c5e12a
Showing 1 changed file with 1 addition and 7 deletions.
8 changes: 1 addition & 7 deletions run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -40,13 +40,7 @@ while [ $# -gt 0 ]; do
shift
done

if ! command -v git-hires-merge &> /dev/null
then
echo "git-hires-merge is not on the PATH"
echo "Run: export PATH=$(pwd)/src/scripts/merge_tools/:\$PATH"
echo "Alternatively, you can run: echo 'export PATH=$(pwd)/src/scripts/merge_tools/:\$PATH' >> ~/.bashrc"
exit 1
fi
export PATH=$(pwd)/src/scripts/merge_tools/:\$PATH

mvn -v | head -n 1 | cut -c 14-18 | grep -q 3.9. || { echo "Maven 3.9.* is required"; mvn -v; echo "PATH=$PATH"; exit 1; }
if [ -z "${JAVA8_HOME:+isset}" ] ; then echo "JAVA8_HOME is not set"; exit 1; fi
Expand Down

0 comments on commit 2c5e12a

Please sign in to comment.