fix dir name

This commit is contained in:
Joey Hess 2015-01-07 14:20:26 -04:00
parent f6fa2e6296
commit 7ea4cd1688

View file

@ -59,7 +59,7 @@ export GIT_ANNEX_ANDROID_SOURCETREE
if [ ! -e "$GIT_ANNEX_ANDROID_SOURCETREE" ]; then if [ ! -e "$GIT_ANNEX_ANDROID_SOURCETREE" ]; then
make source make source
fi fi
src="$GIT_ANNEX_ANDROID_SOURCETREE/$androidversion" src="$GIT_ANNEX_ANDROID_SOURCETREE-$androidversion"
if [ ! -e "$src" ] ; then if [ ! -e "$src" ] ; then
cp -a "$GIT_ANNEX_ANDROID_SOURCETREE" "$src" cp -a "$GIT_ANNEX_ANDROID_SOURCETREE" "$src"
fi fi