1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-03 07:05:24 +02:00

Add stageMilestones.sh script

This commit is contained in:
Martin Oberhuber 2007-08-16 13:48:26 +00:00
parent f5d03179f0
commit fff7efc331

View file

@ -14,7 +14,7 @@ cd ..
SITE=`pwd`
# get newest plugins and features: to be done manually on real update site
if [ `basename $SITE` = milestones ]; then
if [ `basename $SITE` != milestones ]; then
echo "Must run on milestones update site"
cd "$curdir"
exit 1