diff --git a/src/script/ant b/src/script/ant index cb3bb5137..cfaa4ade2 100644 --- a/src/script/ant +++ b/src/script/ant @@ -1,6 +1,6 @@ #! /bin/sh -if [ -f $HOME/.antrc ] ; then +if [ -f "$HOME/.antrc" ] ; then . $HOME/.antrc fi