Skip to content

Commit c0465d9

Browse files
Merge pull request #1285 from dprince/bindata_git_add
Add BINDATA_GIT_ADD for 'make bindata'
2 parents 0202328 + 5ee692c commit c0465d9

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

hack/sync-bindata.sh

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
# -TODO: role data
66
set -ex
77

8+
BINDATA_GIT_ADD=${BINDATA_GIT_ADD:-""}
89
OUT_DATA=bindata
910
EXTRACT_DIR=tmp/bindata
1011
LOCAL_BINARIES=${LOCAL_BINARIES:?}
@@ -299,4 +300,6 @@ rm -Rf "$OUT_DATA/metadata"
299300
rm -Rf "$OUT_DATA/tests"
300301

301302
# stage new files for addition via git
302-
git ls-files -o --exclude-standard | xargs --no-run-if-empty git add
303+
if [[ "$BINDATA_GIT_ADD" == "true" ]]; then
304+
git ls-files -o --exclude-standard | xargs --no-run-if-empty git add
305+
fi

0 commit comments

Comments
 (0)