From fe6e8f7e7f95a745901774a515b250d79104945d Mon Sep 17 00:00:00 2001 From: James Yonan Date: Wed, 3 Aug 2016 13:09:43 -0600 Subject: [PATCH] scripts/snapshot : added comment about source location selection. --- scripts/snapshot | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/snapshot b/scripts/snapshot index a835c0ba..537a069c 100755 --- a/scripts/snapshot +++ b/scripts/snapshot @@ -6,6 +6,10 @@ # NAME : basename of git root directory in dependency directory # DL : download directory, where to build tarball, defaults to ~/Downloads +# Note: this script gives priority to $NAME-yyyymmdd as source location, +# so for Asio, make sure to delete such directories if you want to +# favor straight "asio" directory. + set -e if [ -z "$NAME" ]; then echo "NAME var must exist"