mirror of https://github.com/CGAL/cgal
Fix diff
This commit is contained in:
parent
38b075b63a
commit
e157a4aac9
|
|
@ -33,7 +33,7 @@ git fetch --depth 1 $USER_REPO
|
||||||
git checkout $BRANCH_NAME
|
git checkout $BRANCH_NAME
|
||||||
git reset --hard $USER_REPO/$BRANCH_NAME
|
git reset --hard $USER_REPO/$BRANCH_NAME
|
||||||
#setup the list_test_packages
|
#setup the list_test_packages
|
||||||
TMP_LIST=$(git diff --name-only HEAD cgal/$BASE_NAME |cut -s -d/ -f1 |sort -u | xargs -I {} ls -d {}/package_info 2>/dev/null |cut -d/ -f1 |egrep -v Installation||true)
|
TMP_LIST=$(git diff --name-only cgal/$BASE_NAME...HEAD |cut -s -d/ -f1 |sort -u | xargs -I {} ls -d {}/package_info 2>/dev/null |cut -d/ -f1 |egrep -v Installation||true)
|
||||||
|
|
||||||
LIST_OF_PKGS=""
|
LIST_OF_PKGS=""
|
||||||
for PKG in $(ls) ; do
|
for PKG in $(ls) ; do
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue